Denotational semantics for occam

A. W. Roscoe

book title	Proceedings of the Pittsburgh seminar on concurrency
number	197
pages	306—329
publisher	Springer
series	LNCS
year	1985

people	Bill Roscoe
activities	Concurrency