model for communicating sequential processes
By: by C.A.R. Hoare.
Contributors: University of Oxford. Programming Research Group.
Series: Technical monograph -- PRG-22
Publisher: University of Oxford Programming Research Group
Published: 1981
Place of publication: Oxford
Language: eng