Partial correctness of communicating processes and protocols
By: by Zhou Chao Chen and C.A.R.Hoare.
Contributors: Hoare, C. A. R. 1934-
Series: Technical monographs / Oxford University.Computing Laboratory.Programming Research Group -- PRG-20
Publisher: Oxford University, Computing Laboratory, Programming Research Group
Published: 1981
Place of publication: Oxford
Language: eng