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)

In addition suitable contents:
[ 2 ] [ = ] [ ai ] [ al ] [ am ] [ an ] [ ar ] [ arc ] [ at ] [ B ] [ C ] [ ca ] [ cat ] [ Ch ] [ ch ] [ channel ] [ ck ] [ co ] [ com ] [ CSP ] [ du ] [ E ] [ ec ] [ ed ] [ er ] [ es ] [ et ] [ extension ] [ fi ] [ file ] [ G ] [ GP ] [ GPL ] [ h ] [ hr ] [ id ] [ IGP ] [ IGPL ] [ il ] [ in ] [ io ] [ J ] [ ki ] [ LAN ] [ Lex ] [ ls ] [ mm ] [ mo ] [ mod ] [ module ] [ mu ] [ N ] [ na ] [ ne ] [ ng ] [ ni ] [ nn ] [ ns ] [ om ] [ pe ] [ ph ] [ PLAN ] [ port ] [ porting ] [ pr ] [ process ] [ query ] [ rc ] [ re ] [ ro ] [ S ] [ se ] [ SI ] [ si ] [ SIG ] [ SP ] [ st ] [ su ] [ support ] [ T ] [ to ] [ up ]