From CSP to Game Semantics
S. Abramsky
Details
| Book Title |
Reflections on the Work of C.A.R. Hoare |
| Pages |
33–45 |
| Publisher |
Springer |
| Year |
2010 |
Links
Related pages
|
People |