A. W. Appel, SSA is functional programming, ACM SIGPLAN Notices, vol.33, issue.4, p.1720, 1998.
DOI : 10.1145/278283.278285

H. Baker and C. Hewitt, The Incremental Garbage Collection of Processes, ACM SIGPLAN Notices, pp.55-59, 1977.

J. Ayguade and . Labarta, Experiences Parallelizing a Web Server with OpenMP, Lecture Notes in Computer Science LNCS, pp.191-202, 2008.

U. Bondhugula, A. Hartono, J. Ramanujam, and P. , Sadayappan A Practical Automatic Polyhedral Parallelizer and Locality Optimizer, PLDI, 2008.
DOI : 10.1145/1375581.1375595
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.151.5126

C. Fournet and G. Gonthier, The Join Calculus: A Language for Distributed Mobile Programming, Proc. Applied Semantics Summer School (APPSEM), 2000.
DOI : 10.1007/3-540-45699-6_6

C. Fournet and C. Laneve, Bisimulations in the join-calculus, Theoretical Computer Science, vol.266, issue.1-2, pp.569-603, 2001.
DOI : 10.1016/S0304-3975(00)00283-8

R. A. Kelsey, A Correspondence Between Continuation-Passing Style and Static Single Assignment form, ACM SIGPLAN Notices, pp.13-22, 1995.
DOI : 10.1145/202529.202532
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.3.6773

J. Lee, S. Midkiff, and D. A. Padua, Concurrent static single assignment form and constant propagation for explicitly parallel programs, W. on Lang. and Comp. for Par. Comp. (LCPC), 1997.
DOI : 10.1007/BFb0032687
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.51.5098

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

J. Niehren, J. Schwinghammer, and G. Smolka, A concurrent lambda calculus with futures, Theoretical Computer Science, vol.364, issue.3, pp.338-356, 2006.
DOI : 10.1016/j.tcs.2006.08.016
URL : https://hal.archives-ouvertes.fr/inria-00090434

K. Randall, Cilk: Efficient Multithreaded Computing, 1998.

H. Srinivasan, J. Hook, and M. Wolfe, Static Single Assignment Form for Explicitly Parallel Programs, PoPL, 1993.