TY  - CHAP
AU  - Frutos Escrig, David de
AU  - Gregorio Rodríguez, Carlos
A4  - Ausiello, Giorgio
A4  - Karhumaki, Juhani
A4  - Mauri, Giancarlo
A4  - Ong, Luke
PY  - 2008
DO  - 10.1007/978-0-387-09680-3_27
SN  - 978-0-387-09679-7
UR  - https://hdl.handle.net/20.500.14352/53225
AB  - We present a theoretical framework which allows to define in a uniform way coinductive characterisations of nearly any semantic preorder or equivalence between processes, by means of simulations up-to and bisimulations up-to. In particular, all the...
LA  - eng
M2  - 397
PB  - Springer
TI  - Universal Coinductive Characterisations of Process Semantics
TY  - book part
VL  - Part I
ER  -