Partial Correctness of Communicating Processes and Protocols
C.A.R. Hoare and Zhou Chaochen
Institution
Oxford University Computing Laboratory‚ Programming Research Group
Month
May
Number
PRG 20
Year
1981
C.A.R. Hoare and Zhou Chaochen