A foundation for actor computation, Journal of Functional Programming, vol.7, issue.1, pp.1-69, 1997. ,
DOI : 10.1017/S095679689700261X
On bisimulations for the asynchronous pi-calculus, Concur'96, 2001. ,
URL : https://hal.archives-ouvertes.fr/inria-00073784
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
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=10.1.1.63.6386
A calculus of mobile agents, Concur'96, pp.406-421, 1996. ,
DOI : 10.1007/3-540-61604-7_67
The Go Programming Language Specification, 2009. ,
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=10.1.1.415.7792
Concurrent haskell, POPL'96, pp.295-308, 1996. ,
Communicating and Mobile Systems: The ?-Calculus, 1999. ,
An efficient on-the-fly cycle collection, ACM Trans. Program. Lang. Syst, vol.29, issue.4, 2007. ,
(lua)pi-threads tutorial, 2008. ,
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
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
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
Pict: a programming language based on the pi-calculus, Proof, Language, and Interaction, pp.455-494 ,
Concurrent Programming in ML, 1999. ,
DOI : 10.1017/CBO9780511574962
The pi-calculus: a Theory of Mobile Processes, 2001. ,
The free lunch is over: a fundamental turn toward concurrency in software, Dr. Dobbs Journal, 2005. ,
Using passive object garbage collection algorithms for garbage collection of active objects, ISMM'02, pp.106-113, 2002. ,
Communicating Mobile Processes, 25 Years of CSP, 2005. ,
DOI : 10.1007/11423348_10