You are here: irt.org | FOLDOC | 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
FOLDOC, Topics, A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V, W, X, Y, Z, ?, ALL