Full Abstraction for a Simple Parallel Programming Language

Full Abstraction for a Simple Parallel Programming Language (1979)

by M. C. B. Hennessy , G. D. Plotkin

Venue:	LNCS
Citations:	87 - 13 self

Datum	Value	Source
TITLE	Full Abstraction for a Simple Parallel Programming Language	INFERENCE
AUTHOR NAME	M. C. B. Hennessy	SVM HeaderParse 0.2
AUTHOR AFFIL	Department of Artificial Intelligence; University of Edinburgh	SVM HeaderParse 0.2
AUTHOR ADDR	Hope Park Square Meadow Lane; EDINBURGH EH8 9NW Scotland	SVM HeaderParse 0.2
AUTHOR NAME	G. D. Plotkin	SVM HeaderParse 0.2
AUTHOR AFFIL	Department of Artificial Intelligence; University of Edinburgh	SVM HeaderParse 0.2
AUTHOR ADDR	Hope Park Square Meadow Lane; EDINBURGH EH8 9NW Scotland	SVM HeaderParse 0.2
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	SVM HeaderParse 0.2
YEAR	1979	INFERENCE
VENUE	LNCS	INFERENCE
VENUE TYPE	JOURNAL	INFERENCE
CITATIONS	7 found	ParsCit 1.0