The laws of occam programming
A. W. Roscoe and C.A.R. Hoare
Details
| Journal |
Theoretical Computer Science |
| Note |
Previously appeared as Oxford University Computing Laboratory Technical Report PRG−53‚ 1986. |
| Pages |
177–229 |
| Volume |
60 |
| Year |
1988 |
Links
Related pages
|
People |
|
|
Activities |