G. Agha, I. A. Mason, S. F. Smith, and C. L. Talcott, A foundation for actor computation, Journal of Functional Programming, vol.7, issue.1, pp.1-69, 1997.
DOI : 10.1017/S095679689700261X

R. Amadio, I. Castellani, and D. Sangiorgi, On bisimulations for the asynchronous pi-calculus, Concur'96, 2001.
URL : https://hal.archives-ouvertes.fr/inria-00073784

J. Armstrong, A history of Erlang, Proceedings of the third ACM SIGPLAN conference on History of programming languages , HOPL III, pp.1-26, 2007.
DOI : 10.1145/1238844.1238850

D. Detlefs, C. Flood, S. Heller, and T. Printezis, Garbage-first garbage collection, Proceedings of the 4th international symposium on Memory management , ISMM '04, pp.37-48, 2004.
DOI : 10.1145/1029873.1029879

URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=

C. Fournet, G. Gonthier, J. Lévy, L. Maranget, and D. Rémy, A calculus of mobile agents, Concur'96, pp.406-421, 1996.
DOI : 10.1007/3-540-61604-7_67

. Google, The Go Programming Language Specification, 2009.

T. Harris, S. Marlow, S. L. Jones, and M. Herlihy, Composable memory transactions, Commun. ACM, issue.8, pp.5191-100, 2008.
DOI : 10.1145/1065944.1065952

URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=

S. L. Jones, A. Gordon, and S. Finne, Concurrent haskell, POPL'96, pp.295-308, 1996.

R. Milner, Communicating and Mobile Systems: The ?-Calculus, 1999.

H. Paz, D. F. Bacon, E. K. Kolodner, E. Petrank, and V. T. Rajan, An efficient on-the-fly cycle collection, ACM Trans. Program. Lang. Syst, vol.29, issue.4, 2007.

F. Peschanski, (lua)pi-threads tutorial, 2008.

F. Peschanski and J. Bialkiewicz, Modelling and verifying mobile systems using pi-graphs, Sofsem'09, volume LNCS 5404, pp.437-442, 2009.
DOI : 10.1007/978-3-540-95891-8_40

URL : https://hal.archives-ouvertes.fr/hal-01297406

F. Peschanski and S. Hym, A stackless runtime environment for a Pi-calculus, Proceedings of the 2nd international conference on Virtual execution environments, VEE '06, pp.57-67, 2006.
DOI : 10.1145/1134760.1134770

URL : https://hal.archives-ouvertes.fr/hal-00140653

I. Phillips, CCS with Priority Guards, In CONCUR Lecture Notes in Computer Science, vol.2154, pp.305-320, 2001.
DOI : 10.1007/3-540-44685-0_21

B. C. Pierce and D. N. Turner, Pict: a programming language based on the pi-calculus, Proof, Language, and Interaction, pp.455-494

J. H. Reppy, Concurrent Programming in ML, 1999.
DOI : 10.1017/CBO9780511574962

D. Sangiori and D. Walker, The pi-calculus: a Theory of Mobile Processes, 2001.

H. Sutter, The free lunch is over: a fundamental turn toward concurrency in software, Dr. Dobbs Journal, 2005.

A. Vardhan and G. Agha, Using passive object garbage collection algorithms for garbage collection of active objects, ISMM'02, pp.106-113, 2002.

P. H. Welch and F. R. Barnes, Communicating Mobile Processes, 25 Years of CSP, 2005.
DOI : 10.1007/11423348_10