The laws of occam programming
A. W. Roscoe and C.A.R. Hoare infojournal | Theoretical Computer Science |
note | Previously appeared as Oxford University Computing Laboratory Technical Report PRG-53, 1986. |
pages | 177—229 |
volume | 60 |
year | 1988 |
links
BibTeX
Link (pdf)
related pages
|
