Skip to main content
Article thumbnail
Location of Repository

Presenting dcpos and dcpo algebras

By Achim Jung, M.Andrew Moshier and Steven Vickers

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

Topics: Q Science (General), QA75 Electronic computers. Computer science, QA Mathematics
Publisher: Elsevier
Year: 2008
OAI identifier: oai:eprints.bham.ac.uk:192

Suggested articles


To submit an update or takedown request for this paper, please submit an Update/Correction/Removal Request.