Branching bisimulation congruence for probabilistic systems
scientific article; zbMATH DE number 6014288
scientific article