Roscoe,, A. W. The laws of occam programming / by A. W. Roscoe, C. A. R. Hoare

The laws of occam programming / by A. W. Roscoe, C. A. R. Hoare . - Oxford : Oxford University Computing Laboratory, 1986 . - 86 p. 21 cm . - (Technical monograph., PRG; 53)
681.3.062