Probabilistic bisimilarity as testing equivalence

Publication Type:
Journal Article
Information and Computation, 2017, 257 pp. 58 - 64
Issue Date:
Filename Description Size
Probabilistic bisimilarity as testing equivalence.pdfPublished Version270.79 kB
Adobe PDF
Full metadata record
© 2017 Elsevier Inc. Larsen and Skou initiated the study of probabilistic bisimilarity and its characterisation in terms of tests. Later on, van Breugel et al. showed that, for labelled Markov processes with continuous state spaces, probabilistic bisimilarity nicely coincides with a simple notion of testing equivalence. Their proof employs advanced machinery from topology. In the discrete case of finite-state reactive probabilistic processes, we prove that coincidence result with an elementary and more accessible proof.
Please use this identifier to cite or link to this item: