TY  - JOUR
AU  - Frutos Escrig, David De
AU  - Gregorio Rodríguez, Carlos
AU  - Palomino Tarjuelo, Miguel
PY  - 2009
DO  - 10.1016/j.entcs.2009.07.093
SN  - 15710661
UR  - https://hdl.handle.net/20.500.14352/43768
T2  - Electronic Notes in Theoretical Computer Science
AB  - The complexity of parallel systems has produced a large collection of semantics for processes, a classification of which is provided by Van Glabbeek's linear time-branching time spectrum; however, no suitable unified definitions were available. We...
LA  - eng
M2  - 243
PB  - Elsevier
KW  - Processes
KW  - Linear time-branching time spectrum
KW  - Equational semantics
KW  - Uniform presentation
TI  - On the unification of process semantics: equational semantics
TY  - journal article
VL  - 249
ER  -