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⟩