Probabilistic Barbed Congruence
 
            Yuxin Deng and Wenjie Du


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.