An extension to ef="module.php?name=Lexikon&file=search&eid=1&query=CSP">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)