TY  - JOUR
AU  - Frutos Escrig, David De
AU  - Gregorio Rodríguez, Carlos
PY  - 2007
DO  - 10.1016/j.entcs.2007.08.014
SN  - 15710661
UR  - https://hdl.handle.net/20.500.14352/50550
T2  - Electronic Notes in Theoretical Computer Science
AB  - In this paper we define simulations up-to a preorder and show how we can use them to provide a coinductive, simulation-like, characterization of semantic preorders for processes. The result applies to a wide class of preorders, in particular to all...
LA  - eng
M2  - 13
PB  - Elsevier
KW  - Processes
KW  - Semantic preorders
KW  - Simulations up-to
KW  - Linear time-branching time spectrum
TI  - Simulations up-to and canonical preorders
TY  - journal article
VL  - 192
ER  -