VDict mobile



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)