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

DOI10.1016/j.topol.2015.10.007zbMath1329.54035OpenAlexW2146578052MaRDI QIDQ897978

Qingyu He, Lingyun Yang, Luoshan Xu

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

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

Related Items (2)

Consistent Smyth powerdomains of topological spaces and quasicontinuous domains ⋮ \(s_{2}\)-C-continuous poset

Cites Work

• Quasicontinuous domains and the Smyth powerdomain
• QRB, QFS, and the probabilistic powerdomain
• Consistent Hoare powerdomains.
• The dual of a generalized completely distributive lattice is a hypercontinuous lattice
• Quasicontinuity of posets via Scott topology and sobrification
• Power domain constructions
• QFS-domains and their Lawson compactness
• The equivalence of QRB, QFS, and compactness for quasicontinuous domains.
• A generalization of completely distributive lattices
• QRB-Domains and the Probabilistic Powerdomain
• A Powerdomain Construction
• Continuous Lattices and Domains
• A Subdirect-Union Representation for Completely Distributive Complete Lattices
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

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