QC-continuity of posets and the Hoare powerdomain of QFS-domains

DOI10.1016/J.TOPOL.2015.10.007MaRDI QIDQ897978zbMATH OpenOpenAlexFDO

Authors Qingyu He, Luoshan Xu, Lingyun Yang

Publication date 8 December 2015

Published in Topology and its Applications (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.topol.2015.10.007

zbMATH Keywords

Scott topologyGCD latticeHoare powerdomainQC-continuous posetQFS-domainquasicontinuous domain

Mathematics Subject Classification ID

Continuous lattices and posets, applications (06B35) Linearly ordered topological spaces, generalized ordered spaces, and partially ordered spaces (54F05) Semantics in the theory of computing (68Q55) Topological lattices (06B30)

Recommendations

• Consistent Hoare powerdomains over dcpos
• The equivalence of QRB, QFS, and compactness for quasicontinuous domains.
• A note on probabilistic powerdomains
• QFS-domains and quasicontinuous domains.
• Quasicontinuity of posets via Scott topology and sobrification

Cites work

• scientific article; zbMATH DE number 3840019 (Why is no real title available?)
• scientific article; zbMATH DE number 3666860 (Why is no real title available?)
• scientific article; zbMATH DE number 48416 (Why is no real title available?)
• scientific article; zbMATH DE number 3527490 (Why is no real title available?)
• scientific article; zbMATH DE number 783754 (Why is no real title available?)
• scientific article; zbMATH DE number 7492140 (Why is no real title available?)
• A Powerdomain Construction
• A Subdirect-Union Representation for Completely Distributive Complete Lattices
• A generalization of completely distributive lattices
• Consistent Hoare powerdomains.
• Continuous Lattices and Domains
• Lattices of Scott-closed sets.
• Power domain constructions
• QFS-domains and their Lawson compactness
• QRB, QFS, and the probabilistic powerdomain
• QRB-domains and the probabilistic powerdomain
• Quasicontinuity of posets via Scott topology and sobrification
• Quasicontinuous domains and the Smyth powerdomain
• The dual of a generalized completely distributive lattice is a hypercontinuous lattice
• The equivalence of QRB, QFS, and compactness for quasicontinuous domains.

Cited in

(5)

• QRB, QFS, and the probabilistic powerdomain
• Quasicontinuous posets
• \(s_{2}\)-C-continuous poset
• QFS-domains and their Lawson compactness
• Consistent Smyth powerdomains of topological spaces and quasicontinuous domains

This page was built for publication: QC-continuity of posets and the Hoare powerdomain of QFS-domains

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