Results 1 -
1 of
1
Full Abstraction for a Simple Parallel Programming Language
- LNCS
, 1979
"... 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 ..."
Abstract
-
Cited by 87 (13 self)
- Add to MetaCart
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
