Barbed Bisimulation

This paper defines a probabilistic barbed congruence which turns out to coincide with observational equivalence in a probabilistic extension of CCS. Based on this coincidence result, we provide a sound and complete axiomatisation for the barbed congruence in a finite fragment of probabilistic CCS. Key words: Probabilistic process calculus, Barbed congruence, Observational equivalence, Axiomatisation.

• Type: Conference
• Year: 1992
• Where: ICALP
• Authors: Robin Milner, Davide Sangiorgi
• Keywords: Barbed Congruence, ICALP 1992, Observational Equivalence, Probabilistic Barbed Congruence, Programming Languages