An Intrinsic Characterization of Approximate Probabilistic Bisimilarity (2003)

Cached

Download Links

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