A theory of communicating sequential processes
By: C.A.R.Hoare, S.D.Brookes, A.W.Roscoe.
Contributors: Brookes, S. D.; Roscoe, A. W.
Series: Technical monographs / Oxford University.Computing Laboratory.Programming Research Group -- PRG-16
Publisher: Oxford University Computing Laboratory, Programming Research Group
Published: 1981
Place of publication: Oxford
Language: eng