A Case Study of the Formal Specification of a Parallel System using CSP
A. W. Roscoe and S. Kiyamura
Details
| Book Title |
Correct Models of Parallel Computing |
| Editor |
S. Noguchi and M. Ota |
| Publisher |
IOS Press |
| Year |
1997 |
Links
Related pages
|
People |
|
|
Activities |