F. Bartels, A. Sokolova, and E. P. De-vink, A hierarchy of probabilistic system types, Theoretical Computer Science, vol.327, issue.1-2, pp.3-22, 2004.
DOI : 10.1016/j.tcs.2004.07.019

J. A. Bergstra and J. W. Klop, Process algebra for synchronous communication, Information and Control, vol.60, issue.1-3, pp.109-137, 1984.
DOI : 10.1016/S0019-9958(84)80025-X

L. Bougé, On the existence of symmetric algorithms to find leaders in networks of communicating sequential processes, Acta Informatica, vol.25, issue.2, pp.179-201, 1988.
DOI : 10.1007/BF00263584

S. D. Brookes, C. A. Hoare, and A. W. Roscoe, A Theory of Communicating Sequential Processes, Journal of the ACM, vol.31, issue.3, pp.560-599, 1984.
DOI : 10.1145/828.833

Y. Deng and C. Palamidessi, Axiomatizations for Probabilistic Finite-State Behaviors, Proceedings of FOSSACS'05, pp.110-124, 2005.
DOI : 10.1007/978-3-540-31982-5_7
URL : https://hal.archives-ouvertes.fr/hal-00159682

O. Mihaela, H. , and C. Palamidessi, Probabilistic asynchronous ?-calculus, Proceedings of FOS- SACS, pp.146-160, 2000.

K. Honda and M. Tokoro, An object calculus for asynchronous communication, Proceedings of the European Conference on Object-Oriented Programming, pp.133-147, 1991.
DOI : 10.1007/BFb0057019

R. Milner, Communication and Concurrency. International Series in Computer Science, 1989.

U. Nestmann, What is a ???Good??? Encoding of Guarded Choice?, An extended abstract appeared in the Proceedings of EXPRESS'97, pp.287-319, 2000.
DOI : 10.1006/inco.1999.2822

U. Nestmann and B. C. Pierce, Decoding Choice Encodings, An extended abstract appeared in the Proceedings of CONCUR'96, pp.1-59, 2000.
DOI : 10.1006/inco.2000.2868

C. Palamidessi, Comparing the expressive power of the synchronous and asynchronous $pi$ -calculi, Mathematical Structures in Computer Science, vol.13, issue.5, pp.685-719, 2003.
DOI : 10.1017/S0960129503004043
URL : https://hal.archives-ouvertes.fr/inria-00201104

C. Palamidessi and O. M. Herescu, A Randomized Distributed Encoding of the ??-Calculus with Mixed Choice, Theoretical Computer Science, vol.335, issue.2-3, pp.73-404, 2005.
DOI : 10.1007/978-0-387-35608-2_44

A. Phillips and L. Cardelli, A correct abstract machine for the stochastic pi-calculus, 2005.

S. Pradalier, Rapport de stage Master Parisien de Recherche en Informatique, 2005.

C. Priami, Stochastic ??-Calculus, The Computer Journal, vol.38, issue.7, pp.578-589, 1995.
DOI : 10.1093/comjnl/38.7.578

R. Segala, Modeling and Verification of Randomized Distributed Real-Time Systems, 1995.

R. Segala and N. Lynch, Probabilistic simulations for probabilistic processes An extended abstract, Proceedings of CONCUR '94, pp.250-273, 1995.