Axiomatizations for probabilistic bisimulation (2001)

by E Bandini, R Segala
Venue:In ICALP, volume 2076 of LNCS