Zhou Chao Chen and C A R Hoare "Partial Correctness of Communicating Processes and Protocols" Programming Research Group Technical Monograph PRG-20 May 1981

Languages mentioned

• CSP {1978} Communicating Sequential Processes