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

Document Versions

An Intrinsic Characterization of Approximate Probabilistic Bisimilarity –Franck Van Breugel, Michael Mislove, Joël Ouaknine, James Worrell — 2003 — In: Proceedings of FOSSACS 03. LNCS
An intrinsic characterization of approximate probabilistic bisimilarity –Franck Van Breugel, Michael Mislove, Joël Ouaknine, James Worrell, Franck Van Breugel, Michael Mislove, Joël Ouaknine, James Worrell — 2003 — In Proceedings of FOSSACS 03, LNCS
An Intrinsic Characterization of Approximate Probabilistic Bisimilarity –Franck Van Breugel, Michael Mislove, Joël Ouaknine, James Worrell — 2003