Reifying Concurrency for Executable Metamodeling

This publication has 33 references indexed in Scilit:

• Bridging the Chasm between Executable Metamodeling and Models of Computation
  2013
• A Design Pattern to Build Executable DSMLs and Associated V&V Tools
  2012
• Combining Aspect and Model-Driven Engineering Approaches for Software Process Modeling and Execution
  2009
• An implementation of a translational semantics for an imperative language
  2005
• Taming heterogeneity - the Ptolemy approach
  Proceedings of the IEEE, 2003
• A framework for comparing models of computation
  IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 1998
• The Formal Semantics of Programming Languages
  1993
• The Science of Programming
  1981
• Communicating sequential processes
  Communications of the ACM, 1978
• An axiomatic basis for computer programming
  Communications of the ACM, 1969