TY  - JOUR
AU  - Frutos Escrig, David De
AU  - Gregorio Rodríguez, Carlos
AU  - Palomino Tarjuelo, Miguel
PY  - 2009
DO  - 10.1016/j.jlap.2008.09.001
SN  - 1567-8326
UR  - https://hdl.handle.net/20.500.14352/50548
T2  - Journal of Logic and Algebraic Programming
AB  - There have been quite a few proposals for behavioural equivalences for concurrent processes, and many of them are presented in Van Glabbeek’s linear time-branching time spectrum. Since their original definitions are based on rather different ideas,...
LA  - eng
M2  - 539
PB  - Elsevier
KW  - Process algebra
KW  - Semantic equivalence
KW  - Semantic preorder
KW  - Axiomatization
KW  - Linear-time branching-time spectrum
TI  - Ready to preorder: an algebraic and general proof
TY  - journal article
VL  - 78
ER  -