Specifying problem one using the failures model for CSP and deriving CSP processes which meet this specification

A. W. Roscoe

book title	The Analysis of Concurrent Systems
editor	B.T. Denvir et al
number	207
pages	103—109
publisher	Springer
series	LNCS
year	1985

people	Bill Roscoe
activities	Concurrency