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

A. W. Appel, Compiling with continuations, 2007.
DOI : 10.1017/CBO9780511609619

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

P. Butcher, Seven Concurrency Models in Seven Weeks: When Threads Unravel, 2014.

B. Combemale, X. Crégut, and M. Pantel, A Design Pattern to Build Executable DSMLs and Associated V&V Tools, 2012 19th Asia-Pacific Software Engineering Conference, 2012.
DOI : 10.1109/APSEC.2012.79

B. Combemale, J. De-antoni, M. Vara-larsen, F. , O. Barais et al., Reifying Concurrency for Executable Metamodeling, SLE, 2013.
DOI : 10.1007/978-3-319-02654-1_20

URL : https://hal.archives-ouvertes.fr/hal-00850770

B. Combemale, C. Hardebolle, C. Jacquet, F. Boulanger, and B. Baudry, Bridging the Chasm between Executable Metamodeling and Models of Computation, 2012.
DOI : 10.1007/978-3-642-36089-3_11

URL : https://hal.archives-ouvertes.fr/hal-00905067

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

J. De-antoni, P. Issa-diallo, C. Teodorov, J. Champeau, and B. Combemale, Towards a Meta-Language for the Concurrency Concern in DSLs, DATE'15, 2015.

J. , D. Antoni, and F. Mallet, ECL: the event constraint language, an extension of OCL with events, 2012.

J. , D. Antoni, and F. Mallet, Timesquare: Treat your models with logical time, Objects, Models, Components, Patterns, pp.34-41, 2012.

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, In CONCUR LNCS, pp.246-262, 1990.
DOI : 10.1007/BFb0039064

M. Gupta, Akka essentials [19] C. Hardebolle and F. Boulanger. ModHel'X: A componentoriented approach to multi-formalism modeling, Models in Software Engineering, pp.247-258, 2008.

D. Harel and B. Rumpe, Meaningful modeling: what's the semantics of "semantics"?, Computer, vol.37, issue.10, 2004.
DOI : 10.1109/MC.2004.172

C. A. Hoare, Communicating sequential processes, 1985.

G. Jones, Programming in OCCAM, 1986.

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

S. Kelly, K. Lyytinen, M. Rossi, and J. P. Tolvanen, MetaEdit+ at the Age of 20, 2013.
DOI : 10.1007/978-3-642-36926-1_10

E. A. Lee and A. Sangiovanni-vincentelli, Comparing models of computation, Proceedings of International Conference on Computer Aided Design, 1997.
DOI : 10.1109/ICCAD.1996.569613

J. Luoma, S. Kelly, and J. Tolvanen, Defining domainspecific modeling languages: Collected experiences, 2004.

F. Mallet, Clock constraint specification language: specifying clock constraints with UML/MARTE, Innovations in Systems and Software Engineering, 2008.
DOI : 10.1007/s11334-008-0055-2

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

R. Milner, A calculus of communicating systems, 1980.
DOI : 10.1007/3-540-10235-3

R. Milner, Communicating and mobile systems: the pi calculus, 1999.

P. D. Mosses, Foundations of modular SOS, 1999.

T. Murata, Petri nets: Properties, analysis and applications, Proceedings of the IEEE, pp.541-580, 1989.
DOI : 10.1109/5.24143

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

G. Rosu and T. F. Serbanuta, K overview and simple case study, Proceedings of International K Workshop, p.2014

N. Russell, A. H. Hofstede, and N. Mulyar, Workflow control-flow patterns: A revised view, 2006.

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

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, 2012 34th International Conference on Software Engineering (ICSE), 2012.
DOI : 10.1109/ICSE.2012.6227070