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
A. W. Roscoe and S. Kiyamura