| Idealized CSP A programming language combining simply typed, with communicating processes, assuming fair parallel execution. Idealized CSP generalises 's original and Kahn's networks of processes, and is closely related to by Stephen Brookes of . Procedures permit the encapsulation of common and parallel programming idioms. and local channel declarations provide a way to delimit the scope of interference between parallel agents, and allow a form of concurrent . [Was this language also designed by Brookes?] (1997-09-26) |
на заглавную 
к началу страницы