A Case Study of the Formal Specification of a Parallel System using CSP

A. W. Roscoe and S. Kiyamura

book title	Correct Models of Parallel Computing
editor	S. Noguchi and M. Ota
publisher	IOS Press
year	1997

people

Bill Roscoe