Raiders of the lost equivalence: probabilistic branching bisimilarity
nondeterministic probabilistic processes
scientific article; zbMATH DE number 7227686
scientific article