Branching bisimulation congruence for probabilistic systems

Cite this paper

@article{Andova2008BranchingBC, title={Branching bisimulation congruence for probabilistic systems}, author={Suzana Andova and Sonja Georgievska and Nikola Trcka}, journal={Electr. Notes Theor. Comput. Sci.}, year={2008}, volume={220}, pages={129-143} }