Power domain constructions

DOI10.1016/0167-6423(91)90037-XMaRDI QIDQ1183553zbMATH OpenOpenAlexFDO

Authors Reinhold Heckmann

Publication date 28 June 1992

Published in Science of Computer Programming (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/0167-6423(91)90037-x

zbMATH Keywords

axiomatic frameworkcharacteristic semiringdirected complete posetleft adjunctionPlotkin semiringpower domain constructionspower morphism

Mathematics Subject Classification ID

Continuous lattices and posets, applications (06B35) Semantics in the theory of computing (68Q55) Applications of universal algebra in computer science (08A70)

Recommendations

• scientific article; zbMATH DE number 4070972
• Convex powerdomains. I
• Stable power domains
• Consistent Plotkin powerdomains.
• Consistent Hoare powerdomains.

Cited in

(28)

• Consistent Hoare powerdomains.
• Consistent Plotkin powerdomains.
• scientific article; zbMATH DE number 4089615 (Why is no real title available?)
• Consistent Smyth powerdomains.
• Dual unbounded nondeterminacy, recursion, and fixpoints
• Consistent Smyth powerdomains of topological spaces and quasicontinuous domains
• Characterising FS domains by means of power domains
• The Hoare and Symth power domain constructors commute under composition
• Inverse-limit and topological aspects of abstract interpretation
• String diagrams for regular logic (extended abstract)
• An upper power domain construction in terms of strongly compact sets
• Lower and upper power domain constructions commute on all cpos
• On open well-filtered spaces
• On the mixed powerdomain
• QC-continuity of posets and the Hoare powerdomain of QFS-domains
• Power domains and second-order predicates
• Semantics of a sequential language for exact real-number computation
• Consistent Hoare powerdomains over dcpos
• scientific article; zbMATH DE number 1183248 (Why is no real title available?)
• Characterizing consistent Smyth powerdomains by \textit{FS-}\(\land^{\uparrow}\)-domains
• Modelling higher-order dual nondeterminacy
• Regular relations and strictly completely regular ordered spaces.
• Convex powerdomains. II
• Upper powerdomains of quasicontinuous dcpos
• scientific article; zbMATH DE number 4005585 (Why is no real title available?)
• scientific article; zbMATH DE number 177783 (Why is no real title available?)
• Stable power domains
• scientific article; zbMATH DE number 4070972 (Why is no real title available?)

This page was built for publication: Power domain constructions

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