["Communicating Parallel Processes", J. Kerridge et al, Soft Prac & Exp 16(1):63-86 (Jan 1986)].
Try this search on Wikipedia, OneLook, Google