RT Book, Section
T1 On the unification of process semantics: observational semantics
A1 Frutos Escrig, David de
A1 Gregorio Rodríguez, Carlos
A1 Palomino, Miguel
A2 Nielsen, Mogens
A2 Kucera, Antonin
A2 Miltersen, Peter Bro
A2 Palamidessi, Castuscia
A2 Tuma, Petr
A2 Valencia, Frank
AB The complexity of parallel systems has produced a large collection of semantics for processes. Van Glabbeek’s linear time-branching time spectrum provides a classification of most of these semantics; however, no suitable unified definitions were available. We have discovered how to unify them, both in an observational framework and in an equational framework. In this first part of our study we present the observational semantics, that stresses the differences between the simulation (branching) semantics and the extentional (linear) semantics. As a result we rediscover the classification in van Glabbeek’s spectrum and shed light on it, obtaining a framework where we can consider all the semantics in the spectrum at the same time. Also, we have discovered some “lost links” that correspond to semantics, possibly not too interesting (at the moment), that provide a clearer picture of the spectrum.
PB Springer
SN 978-3-540-95890-1
YR 2009
FD 2009
LK https://hdl.handle.net/20.500.14352/53214
UL https://hdl.handle.net/20.500.14352/53214
LA eng
DS Docta Complutense
RD 20 may 2024