Compositional Event Structure Semantics of the Internal pi-Calculus

Silvia Crafa (1) , Daniele Varacca (2) , Nobuko Yoshida (3)

1 Dipartimento di Matematica Pura e Applicata [Padova]
2 PPS - Preuves, Programmes et Systèmes
3 Department of Computing [London]

We propose the first compositional event structure semantics for a fully expressive pi-calculus, generalising Winskel's event structures for CCS. The pi-calculus we model is the piI-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.

Domaines: Calcul parallèle, distribué et partagé [cs.DC]

Silvia Crafa, Daniele Varacca, Nobuko Yoshida. Compositional Event Structure Semantics of the Internal pi-Calculus. Proceedings of Concur 2007, Sep 2007, Lisbon, Portugal. pp.317-332. ⟨hal-00148937⟩