HAL : hal-00148936, version 1

Fiche détaillée

Récupérer au format BibTeX - EndNote - TEI - RefWorks -

QAPL 2007, Braga : Portugal (2007)

Probabilistic pi-calculus and Event Structures

Daniele Varacca 1, Nobuko Yoshida 2

(03/09/2007)

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.

1 :	Preuves, Programmes et Systèmes (PPS)
	CNRS : UMR7126 – Université Paris VII - Paris Diderot
2 :	Department of Computing, Imperial College London
	Imperial College London

Domaine

:

Informatique/Calcul parallèle, distribué et partagé

hal-00148936, version 1

http://hal.archives-ouvertes.fr/hal-00148936

oai:hal.archives-ouvertes.fr:hal-00148936

Contributeur : Daniele Varacca <>

Soumis le : Mercredi 23 Mai 2007, 18:00:07

Dernière modification le : Lundi 14 Mai 2012, 17:22:40