Consistent Hoare powerdomains over dcpos

DOI10.1016/j.topol.2017.09.006zbMath1422.06003OpenAlexW2761552435MaRDI QIDQ1676530

Jun Geng, Hui Kou

Publication date: 9 November 2017

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

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

zbMATH Keywords

consistencyquasicontinuityconsistent Hoare powerdomainScott closed subset

Mathematics Subject Classification ID

Linearly ordered topological spaces, generalized ordered spaces, and partially ordered spaces (54F05) Continuous lattices and posets, applications (06B35)

Related Items (1)

Consistent-linear \textit{FS}-domains

Cites Work

• Quasicontinuous domains and the Smyth powerdomain
• Consistent Hoare powerdomains.
• Consistent Plotkin powerdomains.
• Power domain constructions
• Consistent Smyth powerdomains.
• A Powerdomain Construction
• Continuous Lattices and Domains
• An upper power domain construction in terms of strongly compact sets
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Consistent Hoare powerdomains over dcpos