Consistent Hoare powerdomains.

DOI10.1016/J.TOPOL.2014.09.002zbMATH Open1306.06004OpenAlexW1997472710MaRDI QIDQ471444FDOQ471444

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

Recommendations

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

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)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Continuous Lattices and Domains
• Title not available (Why is that?)
• Title not available (Why is that?)
• A Powerdomain Construction
• Power domain constructions
• Stable power domains
• Characterising FS domains by means of power domains

Cited In (12)

• Title not available (Why is that?)
• 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
• L-domains and lossless powerdomains
• Consistent Hoare powerdomains over dcpos
• An upper power domain construction in terms of strongly compact sets
• The Hoare and Symth power domain constructors commute under composition
• Consistent Smyth powerdomains.
• A concrete realization of the Hoare powerdomain

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)