An Operational Semantics for CSP
A. W. Roscoe‚ S. D. Brookes and D. J. Walker
Details
| Institution |
Oxford University Computing Laboratory |
| Year |
1986 |
Links
Related pages
|
People |
|
|
Activities |