TY  - CHAP
AU  - Romero Hernandez, David
AU  - Frutos Escrig, David De
A4  - Ábrahám, Erika
A4  - Palamidesi, Catuscia
PY  - 2014
SN  - 978-3-662-43613-4
UR  - https://hdl.handle.net/20.500.14352/35711
AB  - Bisimulation captures in a coinductive way the quivalencebetween processes, or trees. Several authors have defined bisimulation distances based on the bisimulation game. However, this approach becomes too local: whenever we have in one of the compared...
LA  - eng
M2  - 249
PB  - Springer
KW  - Simulation
KW  - Systems
KW  - Metrics
KW  - Games
TI  - Coinductive Definition of Distances between Processes: Beyond Bisimulation Distances
TY  - book part
ER  -