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)
Nearby terms:
IDEA « IDEAL « ideal « Idealized CSP »
Idealized Instruction Set » IDEF » idempotent
|
