A Fully Abstract Metric-Space Denotational Semantics for Reactive Probabilistic Processes (1998)

Cached

Download Links

by M. Z. Kwiatkowska , G. J. Norman
Venue:In Proc. COMPROX '98, Electronic Notes in TCS vol.13
Citations:7 - 1 self