Metric Semantics and Full Abstractness for Action Refinement and Probabilistic Choice


This paper provides a case-study in the field of metric semantics for probabilistic programming. Both an operational and a denotational semantics are presented for an abstract process language Lpr , which features action refinement and probabilistic choice. The two models are constructed in the setting of complete ultrametric spaces, here based on… (More)
DOI: 10.1016/S1571-0661(05)80038-6