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)

Style="border-width:thin; border-color:#333333; border-Style:daShed; padding:5px;" align="left">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 ]