Sciweavers

ENTCS
2008
81views more  ENTCS 2008»
14 years 16 days ago
Presenting Dcpos and Dcpo Algebras
Dcpos can be presented by a preorder of generators and inequational relations expressed as covers. Algebraic operations on the generators (possibly with their results being ideals...
Achim Jung, M. Andrew Moshier, Steven J. Vickers