Port Language

"Communicating Parallel Processes", J. Kerridge et al, Software Practice & Experience 16(1):63-86 (Jan 1986).