Recommendations
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)