Mixed powerdomains for probability and nondeterminism

@article{Keimel2015MixedPF,
  title={Mixed powerdomains for probability and nondeterminism},
  author={Klaus Keimel and Gordon D. Plotkin},
  journal={Logical Methods in Computer Science},
  year={2015},
  volume={13}
}
We consider mixed powerdomains combining ordinary nondeterminism and probabilistic nondeterminism. We characterise them as free algebras for suitable (in)equational theories; we establish functional representation theorems; and we show equivalencies between state transformers and appropriately healthy predicate transformers. The extended nonnegative reals serve as ‘truth-values’. As usual with powerdomains, everything comes in three flavours: lower, upper, and order-convex. The powerdomains are… CONTINUE READING
Highly Cited
This paper has 22 citations. REVIEW CITATIONS
Recent Discussions
This paper has been referenced on Twitter 5 times over the past 90 days. VIEW TWEETS

References

Publications referenced by this paper.
Showing 1-10 of 69 references

Monadic functors and convexity

  • T. Šwirszcz
  • Bulletin de l’Académie Polonaise des Sciences…
  • 1974
Highly Influential
4 Excerpts

Stetige Bewertungen auf topologischen Räumen

  • R. Tix
  • MSc Thesis, Technische Universität Darmstadt,
  • 1995
Highly Influential
9 Excerpts

Bereiche und Bewertungen

  • O. Kirch
  • MSc Thesis, Technische Universität Darmstadt
  • 1993
Highly Influential
4 Excerpts

Similar Papers

Loading similar papers…