Occam 2
Language designed specifically for parallel computing using the CSP model
Implemented on the Transputer, a chip designed for efficient on-chip (time-sliced) concurrency and communications with other transputers via channels
Proves efficacy of CSP model