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

by M Kwiatkowska, G Norman
Venue:Probabilistic Processes, Proc. COMPROX’98, Electronic Notes in Theoretical Computer Science