Search in: Word
Vietnamese keyboard: Off
Virtual keyboard: Show
Computing (FOLDOC) dictionary
Idealized CSP
Jump to user comments
language A programming language combining simply typed,
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