Heterogeneous Simulation—Mixing Discrete-Event Models with Dataflow

Time, clocks, and the ordering of events in a distributed system

Leslie Lamport · Communications of the ACM · 1978 · 8.4K citations · Full text

Computing, Computer Engineering, Computer Science +17

Statecharts: a visual formalism for complex systems

David Harel · Science of Computer Programming · 1987 · 6.7K citations

Engineering, Systems Engineering, Complex Systems +10

The Semantics of a Simple Language for Parallel Programming.

Gilles Kahn · IFIP Congress · 1974 · 2.1K citations

Computing, Computer Science, Computer Systems +14

Synchronous data flow

Edward A. Lee, David G. Messerschmitt · Proceedings of the IEEE · 1987 · 1.8K citations

Computing, Computer Engineering, Computer Science +13

The synchronous data flow programming language LUSTRE

Nicolas Halbwachs, P. Caspi, Pascal Raymond et al. · Proceedings of the IEEE · 1991 · 1.5K citations · Full text

Computing, Computer Science, Computer Systems +15