Axiomatizations for Probabilistic Bisimulation

Appears: Proceedings of the 28th International Colloquium on Automata, Languages and Programming (ICALP) 2001, Crete, Greece, LNCS 2076, pages 370-381, July 2001

Abstract: We study complete axiomatizations for different notions of probabilistic bisimulation on a recursion free process algebra with probability and nondeterminism under alternating and non-alternating semantics. The axioms that do not involve probability coincide with the original axioms of Milner. The axioms that involve probability differ depending on the bisimulation under examination and on the semantics that is used, thus revealing the implications of the different choices.

Download:
Download the paper from the publisher.

Download an author-created copy of the paper (© Springer-Verlag).