The probabilistic powerdomain for stably compact spaces via compact ordered spaces. (English) Zbl 1270.68153
Desharnais, J. (ed.) et al., Proceedings of the workshop on domain theoretic methods for probabilistic processes, McGill University, Montreal, Canada, April 21–25, 2003. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 87, 225-238 (2004).
Summary: Stably compact spaces \(X_s\) can be described as being derived from compact ordered spaces \(X\) by weakening their topology to the open upper sets. In this paper the probabilistic powerdomain of a stably compact space \(X_s\) is investigated using the compact ordered space \(X\) and classical tools from measure theory and functional analysis. This allows to derive known and new results which are summarized in Theorem 5.4 in an unified and elegant way.
For the entire collection see [Zbl 1271.68032].
For the entire collection see [Zbl 1271.68032].
MSC:
68Q55 | Semantics in the theory of computing |
06B35 | Continuous lattices and posets, applications |
54D30 | Compactness |
54F05 | Linearly ordered topological spaces, generalized ordered spaces, and partially ordered spaces |