Skip to main content

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