Semantic Domains for Combining Probability and Non-Determinism (2005)
Regina Tix, Klaus Keimel, Gordon Plotkin
Contents Foreword vii Introduction ix 1 Order and Topology 1 1.1 Dcpos and Scott-Continuous Functions . . . . . . . . . . . . . . . 1 1.2 The Specialisation Order . . . . . . . . . . . . . . . . . ....
Continuous D-cones: convexity and powerdomain constructions / (1999)
Zugl.: Darmstadt, Techn. University, Diss., 1999.
The Troublesome Probabilistic Powerdomain (1998)
In [12] it is shown that the probabilistic powerdomain of a continuous domain is again continuous. The category of continuous domains, however, is not cartesian closed, and one has to look at...