G. A. Agha, Actors: A model of concurrent computation in distributed systems, DTIC Document, 1985.

J. Armstrong, R. Virding, C. Wikström, and M. Williams, Concurrent programming in ERLANG. Citeseer, 1993.

L. Bettini, Implementing Domain-Specific Languages with Xtext and Xtend, 2013.

B. Combemale, J. Deantoni, M. Vara-larsen, F. , O. Barais et al., Reifying Concurrency for Executable Metamodeling, SLE'13
URL : https://hal.archives-ouvertes.fr/hal-00850770

S. Cook, G. Jones, S. Kent, and A. C. Wills, Domain-specific development with visual studio dsl tools. Pearson Education, 2007.

J. Deantoni, P. Issa-diallo, C. Teodorov, J. Champeau, and B. Combemale, Towards a Meta-Language for the Concurrency Concern in DSLs, DATE, 2015.
URL : https://hal.archives-ouvertes.fr/hal-01087442

J. Deantoni and F. Mallet, ECL: the event constraint language, an extension of OCL with events, 2012.
URL : https://hal.archives-ouvertes.fr/hal-00721169

J. Deantoni and F. Mallet, Timesquare: Treat your models with logical time, Objects, Models, Components, Patterns, pp.34-41, 2012.
URL : https://hal.archives-ouvertes.fr/hal-00688590

. Diverse-team, Github for k3al, 2016.

, Eclipse Foundation. EMF homepage, 2016.

, Eclipse Foundation, 2016.

M. Fowler, Language workbenches: The killer-app for domain specific languages, 2005.

L. Fredlund, B. Jonsson, and J. Parrow, An implementation of a translational semantics for an imperative language, CONCUR, 1990.

M. Gupta, Akka essentials, 2012.

C. Hardebolle, F. Boulanger, ?. Modhelâ, and . Zx, A component-oriented approach to multi-formalism modeling, Models in Software Engineering, pp.247-258, 2008.
URL : https://hal.archives-ouvertes.fr/hal-00554780

C. A. Hoare, An axiomatic basis for computer programming, Communications of the ACM, vol.12, issue.10, pp.576-580, 1969.

F. Jouault, F. Allilaire, J. Bézivin, I. Kurtev, and P. Valduriez, ATL: a QVT-like transformation language, Companion to the 21st ACM SIGPLAN symposium on Object-oriented programming systems, languages, and applications, 2006.

L. C. Kats and E. Visser, The spoofax language workbench: rules for declarative specification of languages and ides, ACM Sigplan Notices, 2010.

S. Kelly, K. Lyytinen, M. Rossi, and J. P. Tolvanen, MetaEdit+ at the age of 20, CAiSE, 2013.

, Language Workbenches Challenge. Comparing tools of the trade, 2014.

M. E. Larsen, J. Deantoni, B. Combemale, and F. Mallet, A behavioral coordination operator language (bcool), 18th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, 2015.
URL : https://hal.archives-ouvertes.fr/hal-01182773

F. Latombe, X. Crégut, B. Combemale, J. Deantoni, and M. Pantel, Weaving Concurrency in eXecutable Domain-Specific Modeling Languages, 8th ACM SIGPLAN International Conference on Software Language Engineering, 2015.
URL : https://hal.archives-ouvertes.fr/hal-01185911

F. Latombe, X. Crégut, J. Deantoni, M. Pantel, and B. Combemale, Coping with Semantic Variation Points in Domain-Specific Modeling Languages, 1st International Workshop on Executable Modeling (EXE 2015), 2015.
URL : https://hal.archives-ouvertes.fr/hal-01222999

E. Lee and A. Sangiovanni-vincentelli, A framework for comparing models of computation. Computer-Aided Design of Integrated Circuits and Systems, IEEE Transactions on, 1998.

J. Luoma, S. Kelly, and J. Tolvanen, Defining domain-specific modeling languages: Collected experiences, 4 th Workshop on Domain-Specific Modeling, 2004.

F. Mallet, Clock constraint specification language: specifying clock constraints with UML/MARTE. Innovations in Systems and Software Engineering, 2008.

F. Mallet and R. Simone, Correctness Issues on MARTE/CCSL constraints. Science of Computer Programming, vol.106, pp.78-92, 2015.

T. Mayerhofer, P. Langer, M. Wimmer, and G. Kappel, xMOF: Executable DSMLs based on fUML, SLE, 2013.
DOI : 10.1007/978-3-319-02654-1_4
URL : http://www.dsmforum.org/events/DSM12/Papers/Mayerhofer.pdf

M. Research, The Rust Programming Language

T. Murata, Petri nets: Properties, analysis and applications, Proceedings of the IEEE, vol.77, 1989.

M. Nielsen, Models for concurrency, Mathematical Foundations of Computer Science, 1991.

M. Nielsen, V. Sassone, and G. Winskel, Relationships between models of concurrency, 1994.

, OMG. fUML specification v1.1, 2013.

G. D. Plotkin, The origins of Structural Operational Semantics. The Journal of Logic and Algebraic Programming, 2004.

C. Ptolemaeus, System Design, Modeling, and Simulation: Using Ptolemy II. Ptolemy. org, 2014.

G. Rosu and T. F. Serbanuta, K overview and simple case study, Proceedings of International K Workshop (K'11), 2014.

R. Community, Ruby documentation about Fibers

D. S. Scott and C. Strachey, Toward a mathematical semantics for computer languages, 1971.

B. Selic, An architectural pattern for real-time control software, Workshop on Frameworks and Architectures, PLoP Conference, 1996.

S. Tasharofi, P. Dinges, and R. E. Johnson, Why do scala developers mix the actor model with other concurrency models, ECOOP 2013, 2013.

T. Van-der and . Storm, The Rascal Language Workbench, 2011.
URL : https://hal.archives-ouvertes.fr/hal-00645985

M. Voelter and V. Pech, Language modularity with the MPS language workbench, ICSE, 2012.

G. Winskel, Event structures, Petri Nets: Applications and Relationships to Other Models of Concurrency, 1987.
URL : https://hal.archives-ouvertes.fr/hal-00148921

F. Zalila, X. Crégut, and M. Pantel, A transformation-driven approach to automate feedback verification results, Model and Data Engineering, pp.266-277, 2013.
URL : https://hal.archives-ouvertes.fr/hal-01231772