The probabilistic powerdomain for stably compact spaces

DOI10.1016/J.TCS.2004.06.021MaRDI QIDQ703479zbMATH OpenOpenAlexFDO

Authors Mauricio Alvarez-Manilla, Achim Jung, Klaus Keimel

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)

Recommendations

• Stably compact spaces and the probabilistic powerspace construction
• The probabilistic powerdomain for stably compact spaces via compact ordered spaces
• Extension of valuations on locally compact sober spaces
• Theory and Applications of Models of Computation
• Probabilistic powerdomains and quasi-continuous domains

Cites work

• scientific article; zbMATH DE number 4179422 (Why is no real title available?)
• scientific article; zbMATH DE number 3846844 (Why is no real title available?)
• scientific article; zbMATH DE number 3878992 (Why is no real title available?)
• scientific article; zbMATH DE number 4081629 (Why is no real title available?)
• scientific article; zbMATH DE number 3706504 (Why is no real title available?)
• scientific article; zbMATH DE number 3780545 (Why is no real title available?)
• scientific article; zbMATH DE number 41225 (Why is no real title available?)
• scientific article; zbMATH DE number 48416 (Why is no real title available?)
• scientific article; zbMATH DE number 48157 (Why is no real title available?)
• scientific article; zbMATH DE number 108434 (Why is no real title available?)
• scientific article; zbMATH DE number 1231645 (Why is no real title available?)
• scientific article; zbMATH DE number 1361128 (Why is no real title available?)
• scientific article; zbMATH DE number 1948164 (Why is no real title available?)
• scientific article; zbMATH DE number 783754 (Why is no real title available?)
• scientific article; zbMATH DE number 3245483 (Why is no real title available?)
• scientific article; zbMATH DE number 3288812 (Why is no real title available?)
• Abstract ordered compact convex sets and algebras of the (sub)probabilistic powerdomain monad over ordered compact spaces
• An Extension Result for Continuous Valuations
• CPO's of measures for nondeterminism
• Continuous Lattices and Domains
• Continuous domains in logical form
• Domain theory in logical form
• Domains, integration and ‘positive analysis’
• Measure and Integration
• Measures in Boolean Algebras
• On the existence of probability measures with given marginals
• On the extension of measures
• Semantics of probabilistic programs
• Stably compact spaces and the probabilistic powerspace construction
• Theory of capacities
• Topology and measure

Cited in

(24)

• The probabilistic powerdomain from a topological viewpoint
• Weak topologies and compactness in asymmetric functional analysis
• QRB, QFS, and the probabilistic powerdomain
• Projective topology on bifinite domains and applications
• Topological cones: functional analysis in a \(T_{0}\)-setting
• On the computational content of the Lawson topology
• The Cuntz semigroup and domain theory
• The monad of probability measures over compact ordered spaces and its Eilenberg-Moore algebras
• Probabilistic powerdomains and quasi-continuous domains
• Theory and Applications of Models of Computation
• Probability, valuations, hyperspace: three monads on Top and the support as a morphism
• Abstract ordered compact convex sets and algebras of the (sub)probabilistic powerdomain monad over ordered compact spaces
• Uniform structures in the beginning of the third millenium
• The probabilistic powerdomain for stably compact spaces via compact ordered spaces
• A cone-theoretic barycenter existence theorem
• Full abstraction for non-deterministic and probabilistic extensions of PCF. I: The angelic cases
• Stably compact spaces and the probabilistic powerspace construction
• Isomorphism theorems between models of mixed choice
• Completing simple valuations in K-categories
• Bitopological duality for distributive lattices and Heyting algebras
• Extension of valuations on locally compact sober spaces
• A domain-theoretic Banach–Alaoglu theorem
• Algebras of the extended probabilistic powerdomain monad
• De Groot duality and models of choice: angels, demons and nature

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q703479)