QRB, QFS, and the probabilistic powerdomain

DOI10.1016/j.entcs.2014.10.010zbMath1337.68160OpenAlexW2053245702WikidataQ113317845 ScholiaQ113317845MaRDI QIDQ283758

Jean Goubault-Larrecq, Achim Jung

Publication date: 13 May 2016

Full work available at URL: https://doi.org/10.1016/j.entcs.2014.10.010

zbMATH Keywords

probabilistic powerdomainQFS-domainsQFS-spacesQRB-domainsQRB-spacesstably compact spaces

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Continuous lattices and posets, applications (06B35)

Related Items (5)

Consistent Smyth powerdomains of topological spaces and quasicontinuous domains ⋮ QC-continuity of posets and the Hoare powerdomain of QFS-domains ⋮ Coincidence of the Isbell and Scott topologies on the function spaces of quasicontinuous domains ⋮ The probabilistic powerdomain from a topological viewpoint ⋮ All Cartesian closed categories of quasicontinuous domains consist of domains

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Quasicontinuous domains and the Smyth powerdomain
• Retracted: Semantic domains for combining probability and non-determinism
• Domain theory and integration
• The probabilistic powerdomain for stably compact spaces
• \(T_ 0\)-spaces and pointwise convergence
• The way-below relation of function spaces over semantic domains
• QFS-domains and their Lawson compactness
• The equivalence of QRB, QFS, and compactness for quasicontinuous domains.
• QRB-Domains and the Probabilistic Powerdomain
• De Groot duality and models of choice: angels, demons and nature
• A Powerdomain Construction
• Continuous Lattices and Domains
• Non-Hausdorff Topology and Domain Theory
• Measure and Integration

This page was built for publication: QRB, QFS, and the probabilistic powerdomain