Probabilistic Barbed Congruence
Yuxin Deng, Wenjie Du · Electronic Notes in Theoretical Computer Science · 2007
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.