Actors: A model of concurrent computation in distributed systems, 1985. ,
Compiling with continuations, 2007. ,
DOI : 10.1017/CBO9780511609619
Implementing Domain-Specific Languages with Xtext and Xtend, 2013. ,
Seven Concurrency Models in Seven Weeks: When Threads Unravel, 2014. ,
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
Reifying Concurrency for Executable Metamodeling, SLE, 2013. ,
DOI : 10.1007/978-3-319-02654-1_20
URL : https://hal.archives-ouvertes.fr/hal-00850770
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
Domain-specific development with visual studio dsl tools. Pearson Education, 2007. ,
Towards a Meta-Language for the Concurrency Concern in DSLs, DATE'15, 2015. ,
ECL: the event constraint language, an extension of OCL with events, 2012. ,
Timesquare: Treat your models with logical time, Objects, Models, Components, Patterns, pp.34-41, 2012. ,
Language workbenches: The killer-app for domain specific languages, 2005. ,
An implementation of a translational semantics for an imperative language, In CONCUR LNCS, pp.246-262, 1990. ,
DOI : 10.1007/BFb0039064
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. ,
Meaningful modeling: what's the semantics of "semantics"?, Computer, vol.37, issue.10, 2004. ,
DOI : 10.1109/MC.2004.172
Communicating sequential processes, 1985. ,
Programming in OCCAM, 1986. ,
The spoofax language workbench: rules for declarative specification of languages and ides, In ACM Sigplan Notices. ACM, 2010. ,
MetaEdit+ at the Age of 20, 2013. ,
DOI : 10.1007/978-3-642-36926-1_10
Comparing models of computation, Proceedings of International Conference on Computer Aided Design, 1997. ,
DOI : 10.1109/ICCAD.1996.569613
Defining domainspecific modeling languages: Collected experiences, 2004. ,
Clock constraint specification language: specifying clock constraints with UML/MARTE, Innovations in Systems and Software Engineering, 2008. ,
DOI : 10.1007/s11334-008-0055-2
xMOF: Executable DSMLs Based on fUML, SLE. 2013 ,
DOI : 10.1007/978-3-319-02654-1_4
A calculus of communicating systems, 1980. ,
DOI : 10.1007/3-540-10235-3
Communicating and mobile systems: the pi calculus, 1999. ,
Foundations of modular SOS, 1999. ,
Petri nets: Properties, analysis and applications, Proceedings of the IEEE, pp.541-580, 1989. ,
DOI : 10.1109/5.24143
The origins of Structural Operational Semantics, The Journal of Logic and Algebraic Programming, 2004. ,
System Design, Modeling, and Simulation: Using Ptolemy II ,
K overview and simple case study, Proceedings of International K Workshop, p.2014 ,
Workflow control-flow patterns: A revised view, 2006. ,
Toward a mathematical semantics for computer languages, 1971. ,
The Rascal Language Workbench, 2011. ,
URL : https://hal.archives-ouvertes.fr/hal-00645985
Language modularity with the MPS language workbench, 2012 34th International Conference on Software Engineering (ICSE), 2012. ,
DOI : 10.1109/ICSE.2012.6227070