C A R Hoare, "A Calculus for Total Correctness of Communicating Processes" Science of Computer Programming, 1, (1981), pp. 49-72

Languages mentioned

• CSP {1978} Communicating Sequential Processes