The equivalence of QRB, QFS, and compactness for quasicontinuous domains.

DOI10.1007/S11083-014-9327-7zbMath1333.06010OpenAlexW1970557072MaRDI QIDQ2351719

Xiaoyong Xi, Jimmie D. Lawson

Publication date: 26 June 2015

Published in: Order (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s11083-014-9327-7

zbMATH Keywords

directed complete partially ordered setsquasicontinuous domainscontinuous domainsdcpoLawson compactaRB domainsSmyth power domains

Mathematics Subject Classification ID

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

Related Items (9)

Information systems for continuous semi-lattices ⋮ QRB, QFS, and the probabilistic powerdomain ⋮ Some results on poset models consisting of compact saturated subsets ⋮ 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 ⋮ A logic for Lawson compact algebraic L-domains ⋮ Probabilistic Powerdomains and Quasi-Continuous Domains ⋮ All Cartesian closed categories of quasicontinuous domains consist of domains

Cites Work

• Metric spaces and \(FS\)-domains
• QFS-domains and their Lawson compactness
• QRB-Domains and the Probabilistic Powerdomain
• Stably compact spaces
• Continuous Lattices and Domains
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: The equivalence of QRB, QFS, and compactness for quasicontinuous domains.