Hoare, C A R "A Model for Communicating Sequential Processes" Programming Research Group Technical Monograph PRG-22 June 1981

Languages mentioned

• CSP {1978} Communicating Sequential Processes