Compositional Event Structure Semantics for the Internal π -Calculus Export

@incollection{citeulike:3545903, abstract = {We propose the first compositional event structure semantics for a very expressive π-calculus, generalising Winskel's event structures for CCS. The π-calculus we model is the πI-calculus with recursive definitions and summations. First we model the synchronous calculus, introducing a notion of dynamic renaming to the standard operators on event structures. Then we model the asynchronous calculus, for which a new additional operator, called rooting, is necessary for representing causality due to new name binding. The semantics are shown to be operationally adequate and sound with respect to bisimulation.}, author = {Crafa, Silvia and Varacca, Daniele and Yoshida, Nobuko}, citeulike-article-id = {3545903}, citeulike-linkout-0 = {http://dx.doi.org/10.1007/978-3-540-74407-8_22}, citeulike-linkout-1 = {http://www.springerlink.com/content/f02h1n0j3548ug68}, citeulike-linkout-2 = {http://www.math.unipd.it/~crafa/}, doi = {10.1007/978-3-540-74407-8_22}, journal = {CONCUR 2007 – Concurrency Theory}, keywords = {causality, eventstructure, picalculus}, pages = {317--332}, posted-at = {2008-11-17 08:23:01}, priority = {4}, title = {Compositional Event Structure Semantics for the Internal π -Calculus}, url = {http://dx.doi.org/10.1007/978-3-540-74407-8_22}, year = {2007} }

TY - CHAP ID - citeulike:3545903 L3 - citeulike-article-id:3545903 N2 - We propose the first compositional event structure semantics for a very expressive π-calculus, generalising Winskel’s event structures for CCS. The π-calculus we model is the πI-calculus with recursive definitions and summations. First we model the synchronous calculus, introducing a notion of dynamic renaming to the standard operators on event structures. Then we model the asynchronous calculus, for which a new additional operator, called rooting, is necessary for representing causality due to new name binding. The semantics are shown to be operationally adequate and sound with respect to bisimulation. JF - CONCUR 2007 – Concurrency Theory EP - 332 TI - Compositional Event Structure Semantics for the Internal π -Calculus SP - 317 KW - causality KW - eventstructure KW - picalculus AU - Crafa, Silvia AU - Varacca, Daniele AU - Yoshida, Nobuko PY - 2007/// UR - http://dx.doi.org/10.1007/978-3-540-74407-8_22 ER -