The consistency of the calculus of total correctness for communicating processes
By: by Zhou Chaochem.
Contributors: Oxford University Computing Laboratory. Programming Research Group.
Series: Technical monograph PRG026
Publisher: Oxford University.Computing Laboratory.Programming Research Group
Published: 1982
Place of publication: Oxford
Language: eng