Partial correctness of communicating processes and protocols.
Contributors: Hoare, C. A. R. 1931-
Publisher: Oxford University Computing Laboratory
Published: 1981
Place of publication: Oxford
Language: eng