TY  - CHAP
AU  - Frutos Escrig, David de
AU  - Gregorio Rodríguez, Carlos
AU  - Palomino, Miguel
A4  - Nielsen, Mogens
A4  - Kucera, Antonin
A4  - Miltersen, Peter Bro
A4  - Palamidessi, Castuscia
A4  - Tuma, Petr
A4  - Valencia, Frank
PY  - 2009
DO  - 10.1007/978-3-540-95891-8_27
SN  - 978-3-540-95890-1
UR  - https://hdl.handle.net/20.500.14352/53214
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...
LA  - eng
M2  - 279
PB  - Springer
TI  - On the unification of process semantics: observational semantics
TY  - book part
ER  -