QC-continuity of posets and the Hoare powerdomain of QFS-domains
DOI10.1016/J.TOPOL.2015.10.007zbMATH Open1329.54035OpenAlexW2146578052MaRDI QIDQ897978FDOQ897978
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
Recommendations
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)
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?)
- Title not available (Why is that?)
- Continuous Lattices and Domains
- Title not available (Why is that?)
- A generalization of completely distributive lattices
- Lattices of Scott-closed sets.
- Title not available (Why is that?)
- A Subdirect-Union Representation for Completely Distributive Complete Lattices
- The dual of a generalized completely distributive lattice is a hypercontinuous lattice
- Quasicontinuity of posets via Scott topology and sobrification
- The equivalence of QRB, QFS, and compactness for quasicontinuous domains.
- QRB, QFS, and the probabilistic powerdomain
- Title not available (Why is that?)
- A Powerdomain Construction
- Power domain constructions
- Consistent Hoare powerdomains.
- Title not available (Why is that?)
Cited In (4)
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)
