Probabilistic divide \& congruence: branching bisimilarity
nondeterministic probabilistic transition systems
scientific article; zbMATH DE number 7135129
scientific article