TY  - JOUR
AU  - Frutos Escrig, David De
AU  - Gregorio Rodríguez, Carlos
AU  - Palomino Tarjuelo, Miguel
AU  - Romero Hernández, David
PY  - 2013
DO  - 10.2168/LMCS-9(2:11)2013
SN  - 1860-5974
UR  - https://hdl.handle.net/20.500.14352/33355
T2  - Logical methods in computer science
AB  - Van Glabbeek's linear time-branching time spectrum is one of the most relevant work on comparative study on process semantics, in which semantics are partially ordered by their discrimination power. In this paper we bring forward a refinement of this...
LA  - eng
PB  - Tech Univ Braunschweig, Inst Theoretical Computer Sci
KW  - Process semantics
KW  - Linear time-branching time spectrum
KW  - Algebraic languages
KW  - Simulation semantics
KW  - Linear semantics
KW  - Constrained simulation
KW  - Axiomatizations
KW  - Unification
TI  - Unifying the linear time-branching time spectrum of strong process semantics
TY  - journal article
VL  - 9
ER  -