An intrinsic characterization of approximate probabilistic bisimilarity (0)

by F van Breugel, M Mislove, J Ouaknine, J Worrell
Venue:in Foundations of Software Science and Computation