E. A. Lee, The Problem with Threads, Computer, vol.39, issue.5, pp.33-42, 2006.
DOI : 10.1109/MC.2006.180

F. L. Bellifemine, G. Caire, and D. Greenwood, Developing Multi-Agent Systems with JADE, 2007.
DOI : 10.1007/3-540-44631-1_7
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.333.500

M. J. Quinn, Parallel Programming in C with MPI and OpenMP, 2004.

G. Boudol, ULM: A Core Programming Model for Global Computing, European Symposium on Programming, ESOP'04, ser. LNCS, pp.234-248, 2004.
DOI : 10.1007/978-3-540-24725-8_17

L. Mandel and M. Pouzet, ReactiveML, Proceedings of the 7th ACM SIGPLAN international conference on Principles and practice of declarative programming , PPDP '05, pp.82-93, 2005.
DOI : 10.1145/1069774.1069782
URL : https://hal.archives-ouvertes.fr/hal-01508179

G. Berry, S. Ramesh, and R. K. Shyamasundar, Communicating reactive processes, Proceedings of the 20th ACM SIGPLAN-SIGACT symposium on Principles of programming languages , POPL '93, pp.85-98, 1993.
DOI : 10.1145/158511.158526

P. Welch and F. Barnes, Communicating Mobile Processes, pp.175-2102162, 2005.
DOI : 10.1007/11423348_10

L. Mandel and L. Maranget, Programming in JoCaml ? Extended version, INRIA, Tech. Rep, vol.6261, 2008.
URL : https://hal.archives-ouvertes.fr/inria-00166125

J. Harrop, OCaml for Scientists. Flying Frog Consultancy Ltd, 2005.

G. Berry and G. Berry, The semantics of pure Esterel The semantics of pure Esterel, Proc Marktoberdorf Intl. Summer School on Program Design Calculi, 1993.

F. Boussinot and R. De-simone, The SL synchronous language, IEEE Transactions on Software Engineering, vol.22, issue.4, pp.256-266, 1996.
DOI : 10.1109/32.491649
URL : https://hal.archives-ouvertes.fr/inria-00074168

E. Vecchié, J. Talpin, and S. Boisgérault, A higherorder extension for imperative synchronous languages, Proceedings of the 13th International Workshop on Software & Compilers for Embedded Systems, ser. SCOPES '10, pp.1-710, 2010.

A. Malik, Z. Salcic, P. S. Roop, and A. Girault, SystemJ: A GALS language for system level design, Computer Languages, Systems & Structures, vol.36, issue.4, pp.317-344, 2010.
DOI : 10.1016/j.cl.2010.01.001
URL : https://hal.archives-ouvertes.fr/hal-00753512

C. A. Hoare, Communicating Sequential Processes, 1985.

L. Henry, Reference Manual for the ADA Programming Language, 1983.

A. Malik, Z. Salcic, and P. S. Roop, SystemJ compilation using the tandem virtual machine approach, ACM Transactions on Design Automation of Electronic Systems, vol.14, issue.3, pp.1-37, 2009.
DOI : 10.1145/1529255.1529256

C. Fournet and G. Gonthier, The reflexive CHAM and the join-calculus, Proceedings of the 23rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages , POPL '96, pp.372-385, 1996.
DOI : 10.1145/237721.237805

A. Malik, A. Girault, and Z. Salcic, The DSystemJ programming language for dynamic GALS systems: it's semantics, compilation, implementation, and run-time system, 2010.

D. Potop-butucaru, Optimisations for Faster Execution of Esterel Programs, 2002.

A. Malik, Principia Lingua SystemJ, 2010.

K. Havelund and T. Pressburger, Model checking JAVA programs using JAVA PathFinder, International Journal on Software Tools for Technology Transfer (STTT), vol.2, issue.4, pp.366-381, 2000.
DOI : 10.1007/s100090050043