Laws of Occam Programming
A.W. Roscoe and C.A.R. Hoare
Institution
Oxford University Computing Laboratory‚ Programming Research Group
Month
February
Number
PRG−53
Year
1986
A.W. Roscoe and C.A.R. Hoare