Exploring models of computation with ptolemy II
Christopher X. Brooks, Edward A. Lee, Stavros Tripakis · 2010
The Ptolemy project studies modeling, simulation, and design of concurrent, real-time, embedded systems. The focus is on assembly of concurrent components. The key underlying principle in the project is the use of well-defined models of computation that govern the interaction between components. A major problem area being addressed is the use of heterogeneous mixtures of models of computation.