A Probabilistic Applied Pi-Calculus

Jean Goubault-Larrecq 1 Catuscia Palamidessi 2 Angelo Troina 2
1 LSV - Laboratoire Spécification et Vérification [Cachan]
2 COMETE - Concurrency, Mobility and Transactions
LIX - Laboratoire d'informatique de l'École polytechnique [Palaiseau], Inria Saclay - Ile de France
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.
Type de document :
Communication dans un congrès
5th Asian Symposium on Programming Languages and Systems (APLAS'07), Nov 2007, Singapore, Singapore. Springer, 4807, pp.175-190, 2007, Lecture Notes in Computer Science. 〈10.1007/978-3-540-76637-7_12〉
Liste complète des métadonnées

Littérature citée [28 références]  Voir  Masquer  Télécharger
https://hal.inria.fr/inria-00201070
Contributeur : Catuscia Palamidessi <>
Soumis le : dimanche 23 décembre 2007 - 01:45:56
Dernière modification le : mercredi 14 novembre 2018 - 16:10:03
Document(s) archivé(s) le : mardi 13 avril 2010 - 15:21:46

Fichier

aplas.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

Collections

INRIA | ENS-CACHAN | LIX | X-LIX | X | PARISTECH | X-DEP-INFO

Citation

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. Springer, 4807, pp.175-190, 2007, Lecture Notes in Computer Science. 〈10.1007/978-3-540-76637-7_12〉. 〈inria-00201070〉

Exporter

BibTeX TEI DC DCterms EndNote

Partager

Métriques

Consultations de la notice

233

Téléchargements de fichiers

94

Contact


archive-ouverte@inria.fr