TY  - CHAP
AU  - Frutos Escrig, David De
AU  - Rosa Velardo, Fernando
AU  - Gregorio Rodríguez, Carlos
A4  - Derrick, John
A4  - Vain, Jüri
PY  - 2007
DO  - 10.1007/978-3-540-73196-2_10
SN  - 978-3-540-73195-5
UR  - https://hdl.handle.net/20.500.14352/53222
AB  - Bisimulation semantics are a very pleasant way to define the semantics of systems, mainly because the simplicity of their definitions and their nice coalgebraic properties. However, they also have some disadvantages: they are based on a sequential...
LA  - eng
M2  - 143
PB  - Springer
TI  - New Bisimulation Semantics for Distributed Systems
TY  - book part
ER  -