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

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

J. Burch, E. Clarke, K. Mcmillan, D. Dill, and L. Hwang, Symbolic model checking: 10/sup 20/ states and beyond, [1990] Proceedings. Fifth Annual IEEE Symposium on Logic in Computer Science
DOI : 10.1109/LICS.1990.113767

. Symp, Logic in Computer Science (LICS '90), pp.428-439, 1990.

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

P. Welch and F. Barnes, Communicating Mobile Processes, Proc. Symp. Occasion of 25 Years of Comm. Sequential Processes, pp.175-210, 2005.
DOI : 10.1007/11423348_10

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

L. Mandel and L. Maranget, Programming in JoCaml -Extended Version, 2008.
URL : https://hal.archives-ouvertes.fr/inria-00166125

W. Clinger, Foundations of Actor Semantics, Massachusetts Inst. of Technology, 1981.

M. Odersky, P. Altherr, V. Crement, I. Dragos, G. Dubochet et al., An Overview of the Scala Programming Language, 2004.

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

G. Berry, The Semantics of Pure Esterel, 1993.
DOI : 10.1007/978-3-662-02880-3_12

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

A. Malik, Principia Lingua SystemJ, 2010.

A. Malik, Z. Salcic, A. Girault, A. Walker, and S. C. Lee, A customizable multiprocessor for Globally Asynchronous Locally Synchronous execution, Proceedings of the 7th International Workshop on Java Technologies for Real-Time and Embedded Systems, JTRES '09, pp.120-129, 2009.
DOI : 10.1145/1620405.1620423

S. F. Siegel and G. S. Avrunin, Verification of MPI-Based Software for Scientific Computation, Proc. 11th Int'l SPIN Workshop Model Checking Software, pp.286-303, 2004.
DOI : 10.1007/978-3-540-24732-6_20

A. Vo, S. Vakkalanka, M. Delisi, G. Gopalakrishnan, R. M. Kirby et al., Formal Verification of Practical MPI Programs, Proc. 14th ACM SIGPLAN Symp. Principles and Practice of Parallel Programming (PPoPP '09), pp.261-270, 2009.

G. Li, M. Delisi, G. Gopalakrishnan, and R. M. Kirby, Formal specification of the MPI-2.0 standard in TLA+, Proceedings of the 13th ACM SIGPLAN Symposium on Principles and practice of parallel programming , PPoPP '08, pp.283-284, 2008.
DOI : 10.1145/1345206.1345257

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

R. Milner, J. Parrow, and D. Walker, A calculus of mobile processes, I, Information and Computation, vol.100, issue.1, pp.1-40, 1992.
DOI : 10.1016/0890-5401(92)90008-4

C. Varela and G. Agha, Programming dynamically reconfigurable open systems with SALSA, ACM SIGPLAN Notices, vol.36, issue.12, pp.20-34, 2001.
DOI : 10.1145/583960.583964

J. H. Reppy, CML: A Higher Concurrent Language, Proc. ACM SIGPLAN Conf. Programming Language Design and Implementation (PLDI '91), pp.293-305, 1991.

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