Weak bisimulation for fully probabilistic processes. (1997)

by C Baier, H Hermanns
Venue:In: CAV.