QRB, QFS, and the probabilistic powerdomain

DOI10.1016/J.ENTCS.2014.10.010MaRDI QIDQ283758zbMATHOpenAlexWikidataFDO

Authors 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

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

Recommendations

• QRB-domains and the probabilistic powerdomain
• The equivalence of QRB, QFS, and compactness for quasicontinuous domains.
• Probabilistic powerdomains and quasi-continuous domains
• QC-continuity of posets and the Hoare powerdomain of QFS-domains
• The probabilistic powerdomain from a topological viewpoint

Cites work

• scientific article; zbMATH DE number 3840019 (Why is no real title available?)
• scientific article; zbMATH DE number 3527490 (Why is no real title available?)
• scientific article; zbMATH DE number 3577965 (Why is no real title available?)
• scientific article; zbMATH DE number 1107499 (Why is no real title available?)
• scientific article; zbMATH DE number 783754 (Why is no real title available?)
• scientific article; zbMATH DE number 851999 (Why is no real title available?)
• A Powerdomain Construction
• Continuous Lattices and Domains
• De Groot duality and models of choice: angels, demons and nature
• Domain theory and integration
• Measure and Integration
• Non-Hausdorff topology and domain theory. Selected topics in point-set topology
• QFS-domains and their Lawson compactness
• QRB-domains and the probabilistic powerdomain
• Quasicontinuous domains and the Smyth powerdomain
• Retracted: Semantic domains for combining probability and non-determinism
• The equivalence of QRB, QFS, and compactness for quasicontinuous domains.
• The probabilistic powerdomain for stably compact spaces
• The way-below relation of function spaces over semantic domains
• Topological cones: foundations for a domain theoretical semantics combining probability and nondeterminism
• \(T_ 0\)-spaces and pointwise convergence

Cited in

(7)

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

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

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