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=

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=

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=

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.