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:279 - 60 self

Active Bibliography

A DENOTATIONAL FRAMEWORK FOR COMPARING MODELS OF COMPUTATION – Lig H T, Edward A. Lee, Alberto Sangiovanni-vincentelli - 1997
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
29 Comparing Models of Computation – Edward A. Lee, Alberto Sangiovanni-Vincentelli - 1996
109 Design of Embedded Systems: Formal Models, Validation, and Synthesis – S. Edwards, L. Lavagno, E. A. Lee, A. Sangiovanni-Vincentelli - 1999
17 Causality Interfaces for Actor Networks – Ye Zhou, Edward A. Lee - 2006
26 Models of Computation for Embedded System Design – Luciano Lavagno, Alberto Sangiovanni-Vincentelli, Ellen Sentovich - 1998
6 The tagged signal model - a preliminary version of a denotational framework for comparing models of computation – Edward A. Lee, Alberto Sangiovanni-vincentelli - 1996
18 Heterogenous Simulation -- mixing discrete-event model with dataflow – W.-T. Chang, S. Ha, E. A. Lee - 1996