An extension to CSP, supporting dynamic communicationchannels and nested processes.["Static Type Checking of Interprocess Communication in ECSP",F. Baiardi et al, SIGPLAN Notices 19(6):290-299 (June 1984)].