CSP is expressive enough for pi
A.W. Roscoe
Details
| Book Title |
to appear in Reflections on the work of C.A.R. Hoare |
| Editor |
C.B. Jones‚ A.W. Roscoe and K.R. Wood |
| Publisher |
Springer |
| Year |
2010 |
Links
Related pages
|
People |