Branching bisimulation for probabilistic systems: characteristics and decidability / S. Andova, T.A.C. Willemse
Branching bisimulation for probabilistic systems: characteristics and decidability