Specification-oriented semantics for communicating processes.
Contributors: Hoare, C. A. R. 1934-
Series: Technical monograph PRG-37
Publisher: Oxford University Computing Laboratory
Published: 1984
Place of publication: Oxford
Language: eng