Interaction Categories and Communicating Sequential Processes
S. Abramsky
Details
| Book Title |
A Classical Mind: Essays in honour of C. A. R. Hoare |
| Editor |
A. W. Roscoe |
| Pages |
1−16 |
| Publisher |
Prentice Hall International |
| Year |
1994 |
Links
Related pages
|
People |