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)
Nearby terms:
ECRC « ECRC-Prolog « ECSL « ECSP » ECSS II »
ECSSL » ed
|
