Zhou Chao Chen "The Consistency of the Calculus of Total Correctness for Communicating Processes" Programming Research Group Technical Monograph PRG-26 February 1982

Languages mentioned

• CSP {1978} Communicating Sequential Processes