TY  - JOUR
AU  - Frutos Escrig, David De
AU  - Gregorio Rodríguez, Carlos
PY  - 2009
DO  - 10.1016/j.ic.2007.12.003
SN  - 0890-5401
UR  - https://hdl.handle.net/20.500.14352/43731
T2  - Information and computation
AB  - We define (bi)simulations up-to a preorder and show how we can use them to provide a coinductive, (bi)simulation-like, characterisation of semantic (equivalences) preorders for processes. In particular, we can apply our results to all the semantics in...
LA  - eng
M2  - 146
PB  - Elsevier Science
KW  - Semantic equivalences
KW  - Semantic preorders
KW  - Bisimulations up-to
KW  - Simulations up-to
KW  - Canonical preorder
KW  - Linear time-branching time spectrum
TI  - (Bi)simulations up-to characterise process semantics
TY  - journal article
VL  - 207
ER  -