The Laws of Occam Programming
A. W. Roscoe and C. A. R. Hoare
Journal
Theor. Comput. Sci.
Pages
177−229
Volume
60
Year
1988
A. W. Roscoe and C. A. R. Hoare