Jon M. Kerridge Dan Simpson Communicating Parallel Processes. 63-86 1986 16 Softw., Pract. Exper. 1 db/journals/spe/spe16.html#KerridgeS86