Some applicaitons of higher-ordr processes reuire better control of ocmmunication capabilities than what is provided by the #pi#-caculus primitives.In particular we have found the dynamic restrictin operaotr of CHOCS,here called blocking,useful.We investigate the consequenes of adding static operators such as blocking to the first and higher-ordr #pi#-calculus.In the presence of the blockign oeprator (and static operators in geenral) the higher-order reduction of Sangiorgi,used to demonstrate the reducibility of hihger-order ocmmunciation fretyures to first-ordr ones,breaks down.
展开▼