Idealized CSP

language A programming language combining simply typed,

call-by-name procedures with asynchronous communicating

processes, assuming fair parallel execution. Idealized CSP

generalises Anthony Hoare's original CSP and Kahn's

networks of deterministic processes, and is closely related

to Parallel Algol by Stephen Brookes of CMU.

Procedures permit the encapsulation of common protocols and

parallel programming idioms. Local variables and local

channel declarations provide a way to delimit the scope of

interference between parallel agents, and allow a form of

concurrent object-oriented programming.

[Was this language also designed by Brookes?]

(1997-09-26)