The probabilistic powerdomain for stably compact spaces

DOI10.1016/j.tcs.2004.06.021zbMath1071.68058OpenAlexW2147910305MaRDI QIDQ703479

Achim Jung, Klaus Keimel, Mauricio Alvarez-Manilla

Publication date: 11 January 2005

Published in: Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.tcs.2004.06.021

zbMATH Keywords

Probabilistic powerdomainStably compact spaceValuation

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55)

Related Items (17)

QRB, QFS, and the probabilistic powerdomain ⋮ Algebras of the extended probabilistic powerdomain monad ⋮ The monad of probability measures over compact ordered spaces and its Eilenberg-Moore algebras ⋮ Uniform structures in the beginning of the third millenium ⋮ Completing simple valuations in K-categories ⋮ Probability, valuations, hyperspace: Three monads on top and the support as a morphism ⋮ Isomorphism theorems between models of mixed choice ⋮ The Cuntz semigroup and domain theory ⋮ Abstract ordered compact convex sets and algebras of the (sub)probabilistic powerdomain monad over ordered compact spaces ⋮ Full abstraction for non-deterministic and probabilistic extensions of PCF. I: The angelic cases ⋮ Topological cones: functional analysis in a \(T_{0}\)-setting ⋮ De Groot duality and models of choice: angels, demons and nature ⋮ Bitopological duality for distributive lattices and Heyting algebras ⋮ The probabilistic powerdomain from a topological viewpoint ⋮ Probabilistic Powerdomains and Quasi-Continuous Domains ⋮ Weak topologies and compactness in asymmetric functional analysis ⋮ On the computational content of the Lawson topology

Cites Work

• Abstract ordered compact convex sets and algebras of the (sub)probabilistic powerdomain monad over ordered compact spaces
• CPO's of measures for nondeterminism
• Semantics of probabilistic programs
• Domain theory in logical form
• On the existence of probability measures with given marginals
• Topology and measure
• Continuous domains in logical form
• On the extension of measures
• Theory of capacities
• An Extension Result for Continuous Valuations
• Domains, integration and ‘positive analysis’
• Continuous Lattices and Domains
• Measure and Integration
• Measures in Boolean Algebras
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: The probabilistic powerdomain for stably compact spaces