Compiling Shared Variable Programs into CSP
A. W. Roscoe
Details
| Book Title |
Proceedings of PROGRESS workshop 2001 |
| Year |
2001 |
Links
Related pages
|
People |
|
|
Activities |
A. W. Roscoe
| Book Title |
Proceedings of PROGRESS workshop 2001 |
| Year |
2001 |
|
People |
|
|
Activities |