Skip to Main content Skip to Navigation
Conference papers

A Probabilistic Applied Pi-Calculus

Jean Goubault-Larrecq 1 Catuscia Palamidessi 2 Angelo Troina 2
2 COMETE - Concurrency, Mobility and Transactions
Inria Saclay - Ile de France, LIX - Laboratoire d'informatique de l'École polytechnique [Palaiseau]
Abstract : We propose an extension of the Applied Pi–calculus by introducing nondeterministic and probabilistic choice operators. The semantics of the resulting model, in which probability and nondeterminism are combined, is given by Segala's Probabilistic Automata driven by schedulers which resolve the nondeterministic choice among the probability distributions over target states. Notions of static and observational equivalence are given for the enriched calculus. In order to model the possible interaction of a process with its surrounding environment a labeled semantics is given together with a notion of weak bisimulation which is shown to coincide with the observational equivalence. Finally, we prove that results in the probabilistic framework are preserved in a purely nondeterministic setting.
Document type :
Conference papers
Complete list of metadata

Cited literature [28 references]  Display  Hide  Download
Contributor : Catuscia Palamidessi <>
Submitted on : Sunday, December 23, 2007 - 1:45:56 AM
Last modification on : Friday, June 4, 2021 - 1:32:02 PM
Long-term archiving on: : Tuesday, April 13, 2010 - 3:21:46 PM


Files produced by the author(s)



Jean Goubault-Larrecq, Catuscia Palamidessi, Angelo Troina. A Probabilistic Applied Pi-Calculus. 5th Asian Symposium on Programming Languages and Systems (APLAS'07), Nov 2007, Singapore, Singapore. pp.175-190, ⟨10.1007/978-3-540-76637-7_12⟩. ⟨inria-00201070⟩