calculus of total correctness for communicating processes
By: by C.A.R. Hoare.
Contributors: Oxford University Computing Laboratory. Programming Research Group.
Series: Technical monographs -- PRG-23
Publisher: Oxford University, Computing Laboratory, Programming Research Group
Published: 1981
Place of publication: Oxford
Language: eng