An intrinsic characterization of approximate probabilistic bisimilarity (2003)

by F van Breugel, M Mislove, J Ouaknine, J Worrell
Venue:In Foundations of Software Science and Computation Structures, volume 2620 of LNCS