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)].

Last updated: 1994-12-08

Nearby terms:

ECOOP ♦ ECP ♦ ECRC ♦ ECRC-Prolog ♦ ECSL ♦ ECSP ♦ ECSS II ♦ ECSSL ♦ ed ♦ EDA ♦ EDAC

Try this search on Wikipedia, Wiktionary, Google, OneLook.

Loading