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