A concrete realization of the Hoare powerdomain

DOI10.1007/S00500-007-0153-3MaRDI QIDQ2642996zbMATH OpenOpenAlexFDO

Authors James B. Hart, Constantine Tsinakis

Publication date 6 September 2007

Published in Soft Computing (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s00500-007-0153-3

zbMATH Keywords

lattice of full subinformation systemslattice of non-empty down-sets

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55)

Recommendations

• Consistent Hoare powerdomains over dcpos
• Consistent Hoare powerdomains.
• Consistent Plotkin powerdomains.
• scientific article; zbMATH DE number 3915610
• Convex powerdomains. I

Cites work

• A Powerdomain Construction
• scientific article; zbMATH DE number 3706504 (Why is no real title available?)
• scientific article; zbMATH DE number 3780545 (Why is no real title available?)
• scientific article; zbMATH DE number 41225 (Why is no real title available?)
• scientific article; zbMATH DE number 48416 (Why is no real title available?)
• scientific article; zbMATH DE number 194916 (Why is no real title available?)
• scientific article; zbMATH DE number 3440003 (Why is no real title available?)
• scientific article; zbMATH DE number 783754 (Why is no real title available?)
• scientific article; zbMATH DE number 3362972 (Why is no real title available?)
• scientific article; zbMATH DE number 3379785 (Why is no real title available?)
• Mathematical foundations of programming language semantics. 3rd workshop, Tulane University, New Orleans, Louisiana, USA, April 8--10, 1987. Proceedings
• Non-deterministic information systems and their domains
• The largest Cartesian closed category of domains
• Universal profinite domains

Cited in

(4)

• Ordinal decompositions for preordered root systems
• Consistent Hoare powerdomains over dcpos
• scientific article; zbMATH DE number 4070972 (Why is no real title available?)
• Consistent Hoare powerdomains.

This page was built for publication: A concrete realization of the Hoare powerdomain

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