Abstract
In this paper we investigate distance functions on finite state Markov processes that measure the behavioural similarity of non-bisimilar processes. We consider both probabilistic bisimilarity metrics, and trace-based distances derived from standard Lp and Kullback-Leibler distances. Two desirable continuity properties for such distances are identified. We then establish a number of results that show that these two properties are in conflict, and not simultaneously fulfilled by any of our candidate natural distance functions. An impossibility result is derived that explains to some extent the fundamental difficulty we encounter.
Originalsprog | Engelsk |
---|---|
Titel | Quantitative Evaluation of Systems : 11th International Conference, QEST 2014, Florence, Italy, September 8-10, 2014. Proceedings |
Redaktører | Gethin Norman, William Sanders |
Vol/bind | 8657 |
Forlag | Springer |
Publikationsdato | 2014 |
Sider | 297-312 |
ISBN (Trykt) | 978-3-319-10695-3 |
ISBN (Elektronisk) | 978-3-319-10696-0 |
DOI | |
Status | Udgivet - 2014 |
Begivenhed | 11th International Conference on Quantitative Evaluation of SysTems (QEST 2014) - Auditorium al Duomo, Florence, Italien Varighed: 8 sep. 2014 → 10 sep. 2014 Konferencens nummer: 11th |
Konference
Konference | 11th International Conference on Quantitative Evaluation of SysTems (QEST 2014) |
---|---|
Nummer | 11th |
Lokation | Auditorium al Duomo |
Land/Område | Italien |
By | Florence |
Periode | 08/09/2014 → 10/09/2014 |
Navn | Lecture Notes in Computer Science |
---|---|
ISSN | 0302-9743 |