Consistent Hoare powerdomains.

DOI10.1016/j.topol.2014.09.002zbMath1306.06004OpenAlexW1997472710MaRDI QIDQ471444

Hui Kou, Yayan Yuan

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

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

Related Items (3)

Consistent Hoare powerdomains over dcpos ⋮ QC-continuity of posets and the Hoare powerdomain of QFS-domains ⋮ Consistent-linear \textit{FS}-domains

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Power domain constructions
• Stable power domains
• A Powerdomain Construction
• Continuous Lattices and Domains
• Characterising FS domains by means of power domains

This page was built for publication: Consistent Hoare powerdomains.