TY - GEN
T1 - A probabilistic Applied Pi-calculus
AU - Goubault-Larrecq, Jean
AU - Palamidessi, Catuscia
AU - Troina, Angelo
PY - 2007/1/1
Y1 - 2007/1/1
N2 - 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.
AB - 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.
U2 - 10.1007/978-3-540-76637-7_12
DO - 10.1007/978-3-540-76637-7_12
M3 - Conference contribution
AN - SCOPUS:38149114708
SN - 9783540766360
T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
SP - 175
EP - 190
BT - Programming Languages and Systems - 5th Asian Symposium, APLAS 2007, Proceedings
PB - Springer Verlag
T2 - 5th Asian Symposium on Programming Languages and Systems, APLAS 2007
Y2 - 29 November 2007 through 1 December 2007
ER -