ECSP

An extension to CSP , supporting dynamic communication channels and nested processes.

["Static Type Checking of Interprocess Communication in ECSP", F. Baiardi et al, SIGPLAN Notices 19(6):290-299 (June 1984)].

(1994-12-08)