Marta Z. Kwiatkowska, Gethin J. Norman. A Fully Abstract Metric-Space Denotational Semantics for Reactive Probabilistic Processes. Electronic Notes in Theoretical Computer Science, 13:182, 1998. [doi]
@article{KwiatkowskaN98, title = {A Fully Abstract Metric-Space Denotational Semantics for Reactive Probabilistic Processes}, author = {Marta Z. Kwiatkowska and Gethin J. Norman}, year = {1998}, url = {http://www.elsevier.com/gej-ng/31/29/23/37/23/show/Products/notes/index.htt#014}, tags = {semantics, denotational semantics}, researchr = {https://researchr.org/publication/KwiatkowskaN98}, cites = {0}, citedby = {0}, journal = {Electronic Notes in Theoretical Computer Science}, volume = {13}, pages = {182}, }