The powerdomain of indexed valuations (2002) [9 citations — 2 self]
by Daniele Varacca
In Proceedings of the 17th IEEE Symposium on Logic in Computer Science (LICS
http://www.brics.dk/~varacca/papers/lics2002.ps
Add To MetaCart
Abstract:
This paper is about combining nondeterminism and probabilities. We study this phenomenon from a domain theoretic point of view. In domain theory, nondeterminism is modeled using the notion of powerdomain, while probability is modeled using the powerdomain of valuations. Those two functors do not combine well, as they are. We define the notion of powerdomain of indexed valuations, which can be combined nicely with the usual nondeterministic powerdomain. We show an equational characterization of our construction. Finally we discuss the computational meaning of indexed valuations, and we show how they can be used, by giving a denotational semantics of a simple imperative language. 1
Citations
| 565 | Notions of computation and monads – Moggi - 1991 |
| 347 | Domain theory – Abramsky, Jung - 1994 |
| 185 | Probabilistic simulations for probabilistic processes – Segala, Lynch |
| 168 | Automatic verification of probabilistic concurrent finite-state programs – Vardi - 1985 |
| 144 | Time and Probability in Formal Design of Distributed Systems – Hansson - 1994 |
| 109 | Probabilistic Non-determinism – Jones - 1990 |
| 43 | Probabilistic extensions of process algebras,in – Jonsson, Larsen, et al. - 1996 |
| 35 | Distributive laws – Beck - 1969 |
| 15 | Nondeterminism and probabilistic choice: obeying the laws – Mislove - 2000 |
| 14 | Bereiche und Bewertungen – Kirch - 1993 |
| 9 | Continuous D-Cones: Convexity and Powerdomain Constructions – Tix - 1999 |
| 1 | Issues in probabilistic semantics – Varacca - 2001 |
