sle2013/paper17

SLE 2013 paper:
Reifying Concurrency for Executable Metamodeling

Benoît Combemale, Julien De Antoni, Matias Vara Larsen, Frédéric Mallet, Olivier Barais, Benoît Baudry, Robert B. France

• DOI: 10.1007/978-3-319-02654-1_20
• T1C: Behavioural Semantics
  • The central focus is making concurrency semantics explicit in executable metamodeling for DSMLs (behavioral semantics of concurrent behavior).
• T4D: Interpretation
  • It addresses how executable metamodels run in an execution environment, emphasising runtime/interpretation concerns for concurrent DSMLs.
• T3C: DSLs
  • The contribution targets DSML engineering, especially for DSMLs whose semantics depend on concurrency models.

---

The page is maintained by Dr. Vadim Zaytsev a.k.a. @grammarware. Last updated: June 2026.