Power domain constructions
From MaRDI portal
Publication:1183553
DOI10.1016/0167-6423(91)90037-XzbMath0769.08005OpenAlexW1989648858MaRDI QIDQ1183553
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
axiomatic frameworkcharacteristic semiringdirected complete posetleft adjunctionPlotkin semiringpower domain constructionspower morphism
Applications of universal algebra in computer science (08A70) Semantics in the theory of computing (68Q55) Continuous lattices and posets, applications (06B35)
Related Items (16)
Semantics of a sequential language for exact real-number computation ⋮ Consistent Smyth powerdomains of topological spaces and quasicontinuous domains ⋮ Consistent Hoare powerdomains over dcpos ⋮ Unnamed Item ⋮ QC-continuity of posets and the Hoare powerdomain of QFS-domains ⋮ Inverse-limit and topological aspects of abstract interpretation ⋮ Unnamed Item ⋮ Regular relations and strictly completely regular ordered spaces. ⋮ Consistent Hoare powerdomains. ⋮ Consistent Plotkin powerdomains. ⋮ Modelling higher-order dual nondeterminacy ⋮ Lower and upper power domain constructions commute on all cpos ⋮ Characterizing consistent Smyth powerdomains by \textit{FS-}\(\land^{\uparrow}\)-domains ⋮ Power domains and second-order predicates ⋮ Consistent Smyth powerdomains. ⋮ Dual unbounded nondeterminacy, recursion, and fixpoints
This page was built for publication: Power domain constructions