Idealized CSP

Idealized CSP

(language)A programming language combining simply typed,call-by-name procedures with asynchronous communicatingprocesses, assuming fair parallel execution. Idealized CSPgeneralises Anthony Hoare's original CSP and Kahn'snetworks of deterministic processes, and is closely relatedto Parallel Algol by Stephen Brookes of CMU.

Procedures permit the encapsulation of common protocols andparallel programming idioms. Local variables and localchannel declarations provide a way to delimit the scope ofinterference between parallel agents, and allow a form ofconcurrent object-oriented programming.