An Intrinsic Characterization of Approximate Probabilistic Bisimilarity (2003)

by Franck Van Breugel, Michael Mislove, Joël Ouaknine, James Worrell
Venue:In: Proceedings of FOSSACS 03. LNCS