DMCA
Full Abstraction for a Simple Parallel Programming Language (1979)
Cached
Download Links
- [homepages.inf.ed.ac.uk]
- [www.dcs.ed.ac.uk]
- [www.dcs.ed.ac.uk]
- [www.scss.tcd.ie]
- DBLP
Other Repositories/Bibliography
by
M. C. B. Hennessy
,
G. D. Plotkin
| Venue: | LNCS |
| Citations: | 93 - 13 self |
BibTeX
@ARTICLE{Hennessy79fullabstraction,
author = {M. C. B. Hennessy and G. D. Plotkin},
title = {Full Abstraction for a Simple Parallel Programming Language},
journal = {LNCS},
year = {1979}
}
Share
 |
 |
 |
 |
||
OpenURL
Abstract
In [Plol] a powerdomain was defined which was intended as a kind of analogue of the powerset construction, but for (certain kinds) of cpos. For example the power-domain~(S±) of the flat cpo Si, formed from a set S, is the set {X! S~I(X#~) and
