E R Olderog and C A R Hoare "Specification-Oriented Semantics for Communicating Processes" Programming Research Group Technical Monograph PRG-37 February 1984

Languages mentioned

• CSP {1978} Communicating Sequential Processes