|
452
|
Ptolemy: A Framework for Simulating and Prototyping Heterogeneous Systems
– Joseph Buck, Soonhoi Ha, Edward A. Lee, David G. Messerschmitt
- 1992
|
|
664
|
The Semantics of a Simple Language for Parallel Programming
– G Kahn
- 1974
|
|
3116
|
Communicating Sequential Processes
– C. A. R. Hoare
- 2004
|
|
99
|
Hierarchical Finite State Machines with Multiple Concurrency Models
– Alain Girault, Bilung Lee, Edward A. Lee
- 1999
|
|
232
|
Dataflow Process Networks
– Edward A. Lee, Thomas Parks
- 1995
|
|
405
|
Synchronous data flow
– Edward A. Lee, et al.
- 1987
|
|
62
|
Modeling concurrent real-time processes using discrete events
– E A Lee
- 1999
|
|
208
|
A Framework for Comparing Models of Computation
– Edward A. Lee, Alberto Sangiovanni-vincentelli
- 1998
|
|
343
|
The synchronous approach to reactive and real-time systems
– Albert Benveniste, Gerard Berry
- 1991
|
|
167
|
Scheduling Dynamic Dataflow Graphs With Bounded Memory Using The Token Flow Model
– Joseph T. Buck, Edward A. Lee
- 1993
|
|
78
|
Guernic, “Hybrid Dynamical Systems Theory and the Signal Language
– A Benveniste, P Le
- 1990
|
|
3376
|
Introduction to Automata Theory Languages and Computation. 2nd edition. Addison-Wesley Publishing Company, 2000. de
– J Hopcroft, J Ullman
- 2004
|
|
1962
|
Statecharts: A Visual Formalism For Complex Systems
– David Harel
- 1987
|
|
24
|
A Use of Limit Cycle Oscillations to Obtain Robust Analog-to-Digital Converters
– James C Candy
- 1974
|
|
152
|
Hardware-Software Co-Design Of Embedded Systems Hardware-Software Co-Design Of Embedded Systems
– Felice Balarin, Ellen Sentovich, Massimiliano CHIODO, Paolo GIUSTO, Harry Hsieh, Bassam Tabbara, Attila Jurecska, Magneti Marelli, Divisione Elettronica, Luciano Lavagno, Claudio Passerone
|
|
177
|
Software Synthesis from Dataflow Graphs
– S S Bhattacharya, P K Murthy, E A Lee
- 1996
|
|
619
|
The Esterel Synchronous Programming Language: Design, Semantics, Implementation
– Gerard Berry, Georges Gonthier, Ard Berry Georges Gonthier, Place Sophie Laltte
- 1992
|
|
106
|
A Comparison of Statecharts Variants
– M von der Beeck
- 1994
|
|
91
|
Operational and Compositional Semantics of Synchronous Automaton Compositions
– Florence Maraninchi
- 1992
|
