A Framework for Comparing Models of Computation (1998)

by Edward A. Lee , Alberto Sangiovanni-vincentelli
Venue:IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
Citations:245 - 54 self

Active Bibliography

28 Comparing Models of Computation – Edward A. Lee, Alberto Sangiovanni-Vincentelli - 1996
26 CPO Semantics of Timed Interactive Actor Networks – Xiaojun Liu, Edward A. Lee - 2006
3 Interface Theories for Causality Analysis in Actor Networks – Ye Zhou - 2007
17 Causality Interfaces for Actor Networks – Ye Zhou, Edward A. Lee - 2006
6 The tagged signal model - a preliminary version of a denotational framework for comparing models of computation – Edward A. Lee, Alberto Sangiovanni-vincentelli - 1996
106 Design of Embedded Systems: Formal Models, Validation, and Synthesis – S. Edwards, L. Lavagno, E. A. Lee, A. Sangiovanni-Vincentelli - 1999
26 Models of Computation for Embedded System Design – Luciano Lavagno, Alberto Sangiovanni-Vincentelli, Ellen Sentovich - 1998
17 Heterogenous Simulation -- mixing discrete-event model with dataflow – W.-T. Chang, S. Ha, E. A. Lee - 1996
1 Concurrent Semantics without the Notions of State or State Transitions – Edward A. Lee
1 Models of Computation in the Design Process – Axel Jantsch, Ingo Sander - 2005
115 Hierarchical Finite State Machines with Multiple Concurrency Models – Alain Girault, Bilung Lee, Edward A. Lee - 1999
15 Semantic Foundation of the Tagged Signal Model – Xiaojun Liu - 2005
13 Causality Interfaces and Compositional Causality Analysis – Edward A. Lee, Haiyang Zheng, Ye Zhou - 2005
15 Effective heterogeneous design and cosimulation – W. -t. Chang, A. Kalavade, E. A. Lee - 1995
3 Regular State Machines – Lothar Thiele, Jürgen Teich, Karsten Strehl - 2000
by – Guoqiang Wang, Guoqiang Wang, Guoqiang Wang
12 Embedded Software - An Agenda for Research – Edward A. Lee - 1999
8 A causality interface for deadlock analysis in dataflow – Ye Zhou, Edward A. Lee - 2006
1 A Modular Formal Semantics for Ptolemy – Stavros Tripakis, Christos Stergiou, Chris Shaver, Edward A. Lee - 2011