Axiomatizations for probabilistic bisimulation (2001)

by E Bandini, R Segala
Venue:Proceedings of ICALP 2001, Lecture Notes in Computer Science2076