Probabilistic Metric Semantics for a Simple Language with Recursion

@inproceedings{Kwiatkowska1996ProbabilisticMS,
  title={Probabilistic Metric Semantics for a Simple Language with Recursion},
  author={Marta Z. Kwiatkowska and Gethin Norman},
  booktitle={MFCS},
  year={1996}
}
We consider a simple divergence-free language RP for reactive processes which includes prefixing, deterministic choice, actionguarded probabilistic choice, synchronous parallel and recursion. We show that the probabilistic bisimulation of Larsen & Skou is a congruence for this language. Following the methodology introduced by de Bakker & Zucker we give denotational semantics to this language by means of a complete metric space of (deterministic) probabilistic trees defined in terms of the… CONTINUE READING
Highly Cited
This paper has 44 citations. REVIEW CITATIONS

From This Paper

Topics from this paper.
26 Citations
13 References
Similar Papers

Similar Papers

Loading similar papers…