Probabilistic pi-calculus and Event Structures

Daniele Varacca (1) , Nobuko Yoshida (2)

1 PPS - Preuves, Programmes et Systèmes
2 Department of Computing [London]

This paper proposes two semantics of a probabilistic variant of the pi-calculus: an interleaving semantics in terms of Segala automata and a true concurrent semantics, in terms of probabilistic event structures. The key technical point is a use of types to identify a good class of non-deterministic probabilistic behaviours which can preserve a compositionality of the parallel operator in the event structures and the calculus. We show an operational correspondence between the two semantics. This allows us to prove a “probabilistic confluence” result, which generalises the confluence of the linearly typed pi-calculus.

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

Daniele Varacca, Nobuko Yoshida. Probabilistic pi-calculus and Event Structures. QAPL 2007, Mar 2007, Braga, Portugal. pp.147-166. ⟨hal-00148936⟩