The Consistency of the Calculus of Total Correctness for Communicating Processes
C.A.R. Hoare and Zhou Chaochen
Institution
Oxford University Computing Laboratory‚ Programming Research Group
Month
February
Number
26
Year
1982
C.A.R. Hoare and Zhou Chaochen