The Hoare and Symth power domain constructors commute under composition
From MaRDI portal
Publication:912880
DOI10.1016/0022-0000(90)90008-9zbMath0699.06008OpenAlexW2063819656MaRDI QIDQ912880
Johannes J. Martin, Kevin E. Flannery
Publication date: 1990
Published in: Journal of Computer and System Sciences (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/0022-0000(90)90008-9
composition of power domainsconsistently complete algebraic partial ordersdouble power domainsScott's category of information systems
Semantics in the theory of computing (68Q55) Data structures (68P05) Continuous lattices and posets, applications (06B35)
Related Items (7)
Information systems for continuous posets ⋮ Unnamed Item ⋮ Relational Galois connections between transitive digraphs: characterization and construction ⋮ An upper power domain construction in terms of strongly compact sets ⋮ A universal characterization of the double powerlocale ⋮ Lower and upper power domain constructions commute on all cpos ⋮ Dual unbounded nondeterminacy, recursion, and fixpoints
Cites Work
This page was built for publication: The Hoare and Symth power domain constructors commute under composition
