Presenting dcpos and dcpo algebras
Cached
Download Links
- [www.cs.bham.ac.uk]
- [www.cs.bham.ac.uk]
- [www.cs.bham.ac.uk]
- DBLP
Other Repositories/Bibliography
| Venue: | Proceedings of the 24th Conference on the Mathematical Foundations of Programming Semantics (MFPS XXIV), Electronic Notes in Theoretical Computer Science |
| Citations: | 4 - 1 self |
BibTeX
@INPROCEEDINGS{Jung_presentingdcpos,
author = {Achim Jung and M. Andrew and Moshier Steven Vickers},
title = {Presenting dcpos and dcpo algebras},
booktitle = {Proceedings of the 24th Conference on the Mathematical Foundations of Programming Semantics (MFPS XXIV), Electronic Notes in Theoretical Computer Science},
year = {},
pages = {209--229}
}
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
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 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. 1
Citations
| 402 | Domain Theory, in - Abramsky, Jung - 1994 |
| 87 | Full abstraction for a simple parallel programming language - Hennessy, Plotkin - 1979 |
| 81 | Quantales, observational logic, and process semantics - Abramsky, Vickers - 1993 |
| 32 | A foundation for computation - Martin - 2000 |
| 27 | Inductively generated formal topologies - Coquand, Sambin, et al. - 2003 |
| 22 | Computational effects and operations: an overview - Plotkin, Power |
| 13 | A Universal Characterization of the Double Power Locale - Vickers, Townsend |
| 12 | Preframe presentations present - Johnstone, Vickers - 1990 |
| 5 | Compactness in locales and in formal topology - Vickers |
| 5 | Dedekind complete posets and Scott topologies - Wyler |
| 4 | Inductively generated formal topologies. Annals of Pure and Applied Logic, 124:71–106 - Coquand, Sambin, et al. - 2003 |
| 2 | Compactness in locales and in formal topology. Annals of Pure and - Vickers |
| 1 | A technique for verifying measurements - Martin, Panangaden - 2008 |
