Generalized bisimulation metrics
| Title | Generalized bisimulation metrics |
| Publication Type | Conference Paper |
| Year of Publication | 2014 |
| Authors | Chatzikokolakis, K, Gebler, D, Palamidessi, C, Xu, L |
| Editor | Baldan, P, Gorla, D |
| Conference Name | CONCUR - 25th Conference on Concurrency Theory |
| Publisher | Springer |
| Conference Location | Rome, Italy |
| URL | http://hal.inria.fr/hal-01011471 |
| DOI | 10.1007/978-3-662-44584-6 |
Work Package:
WP3
