Presenting Dcpos and Dcpo Algebras

Achim Jung, M Moshier, Steven Vickers

Research output: Chapter in Book/Report/Conference proceedingConference contribution

14 Citations (Scopus)
84 Downloads (Pure)

Abstract

Dcpos can be presented by preorders of generators and inequational relations expressed as covers. Algebraic operations on the generators (possibly with their results being ideals of generators) can be extended to the dcpo presented, provided the covers are “stable” for the operations. The resulting dcpo algebra has a natural universal characterization and satisfies all the inequational laws satisfied by the generating algebra. Applications include known “coverage theorems” from locale theory.
Original languageEnglish
Title of host publicationProceedings of the 24th Conference on the Mathematical Foundations of Programming Semantics (MFPS XXIV)
EditorsA. Bauer, M. Mislove
PublisherElsevier
Pages209-229
Number of pages21
Volume218
DOIs
Publication statusPublished - 22 Oct 2008
Event24th Conference on the Mathematical Foundations of Programming Semantics (MFPSXXIV) - , United Kingdom
Duration: 22 Oct 2008 → …

Publication series

NameElectronic Notes in Theoretical Computer Science
PublisherElsevier
ISSN (Print)1571-0661

Conference

Conference24th Conference on the Mathematical Foundations of Programming Semantics (MFPSXXIV)
Country/TerritoryUnited Kingdom
Period22/10/08 → …

Fingerprint

Dive into the research topics of 'Presenting Dcpos and Dcpo Algebras'. Together they form a unique fingerprint.

Cite this