The powerdomain of indexed valuations
Proceedings - Symposium on Logic in Computer Science - Trang 299-308
Tóm tắt
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.
Từ khóa
#Cost accounting #Equations #Computer science #Laboratories #Computational modeling #Probability distribution #Algebra #Logic #Character generationTài liệu tham khảo
varacca, 2001, Issues in probabilistic semantics
10.1109/SFCS.1985.12
1994, Proc 5th CONCUR, 481
tix, 1999, Continuous D-Cones Convexity and Powerdomain Constructions
hansson, 1991, Time and Probability in Formal Design of Distributed Systems
10.1007/BFb0083084
10.1016/0168-0072(91)90065-T
segala, 1995, Probabilistic simulations for probabilistic processes, Nordic Journal of Computing, 2, 250
mislove, 2000, Nondeterminism and probabilistic choice: Obeying the law, LNCS, 1877, 350
kirch, 1993, Bereiche und Bewertungen
10.1016/B978-044482830-9/50029-1
jones, 1990, Probabilistic non-determinism
plotkin, 1983, Domains
10.1016/0890-5401(91)90052-4