Probabilistic bisimilarity as testing equivalence
- Publication Type:
- Journal Article
- Information and Computation, 2017, 257 pp. 58 - 64
- Issue Date:
Files in This Item:
|Probabilistic bisimilarity as testing equivalence.pdf||Published Version||270.79 kB|
Copyright Clearance Process
- Recently Added
- In Progress
- Closed Access
This item is closed access and not available.
© 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: