An Intrinsic Characterization of Approximate Probabilistic Bisimilarity.

Franck van Breugel, Michael W. Mislove, Jol Ouaknine, James Worrell

Browse the full FOSSACS paper archive.