QRB, QFS, and the probabilistic powerdomain

DOI10.1016/J.ENTCS.2014.10.010zbMATH Open1337.68160OpenAlexW2053245702WikidataQ113317845 ScholiaQ113317845MaRDI QIDQ283758FDOQ283758

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

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

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)

Cites Work

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

Cited In (6)

• The probabilistic powerdomain from a topological viewpoint
• Coincidence of the Isbell and Scott topologies on the function spaces of quasicontinuous domains
• All Cartesian closed categories of quasicontinuous domains consist of domains
• QC-continuity of posets and the Hoare powerdomain of QFS-domains
• QRB-domains and the probabilistic powerdomain
• Consistent Smyth powerdomains of topological spaces and 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)