Consistent Hoare powerdomains.

DOI10.1016/J.TOPOL.2014.09.002MaRDI QIDQ471444zbMATH OpenOpenAlexFDO

Authors Yayan Yuan, Hui Kou

Publication date 14 November 2014

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

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

zbMATH Keywords

domain theoryconsistent Hoare powerdomainsconsistent meetsconsistent powerdomainscontinuous directed complete posetscontinuous latticesfree dcpo-algebras

Mathematics Subject Classification ID

Continuous lattices and posets, applications (06B35) Consistency and independence results in general topology (54A35) Connected and locally connected spaces (general aspects) (54D05)

Recommendations

• Consistent Plotkin powerdomains.
• Consistent Hoare powerdomains over dcpos
• Consistent Smyth powerdomains.
• A concrete realization of the Hoare powerdomain
• Convex powerdomains. I

Cites work

• scientific article; zbMATH DE number 3846844 (Why is no real title available?)
• scientific article; zbMATH DE number 3635472 (Why is no real title available?)
• scientific article; zbMATH DE number 1229489 (Why is no real title available?)
• scientific article; zbMATH DE number 783754 (Why is no real title available?)
• A Powerdomain Construction
• Characterising FS domains by means of power domains
• Continuous Lattices and Domains
• Power domain constructions
• Stable power domains

Cited in

(12)

• A concrete realization of the Hoare powerdomain
• scientific article; zbMATH DE number 4070972 (Why is no real title available?)
• Consistent-linear \textit{FS}-domains
• Power domain constructions
• Consistent Plotkin powerdomains.
• QC-continuity of posets and the Hoare powerdomain of QFS-domains
• Upper and lower powerspaces of directed spaces
• Consistent Hoare powerdomains over dcpos
• L-domains and lossless powerdomains
• The Hoare and Symth power domain constructors commute under composition
• An upper power domain construction in terms of strongly compact sets
• Consistent Smyth powerdomains.

This page was built for publication: Consistent Hoare powerdomains.

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