Exploring probabilistic bisimulations, part I

  title={Exploring probabilistic bisimulations, part I},
  author={Matthew Hennessy},
  journal={Formal Aspects of Computing},
We take a fresh look at strong probabilistic bisimulations for processes which exhibit both non-deterministic and probabilistic behaviour. We suggest that it is natural to interpret such processes as distributions over states in a probabilistic labelled transition system, a pLTS; this enables us to adapt the standard notion of contextual equivalence to this setting. We then prove that a novel form of bisimulation equivalence between distributions are both sound and complete with respect to this… CONTINUE READING
Highly Cited
This paper has 35 citations. REVIEW CITATIONS
21 Citations
29 References
Similar Papers

Similar Papers

Loading similar papers…