Composition for component-based modeling

Statecharts: a visual formalism for complex systems

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

Engineering, Systems Engineering, Complex Systems +10

Communication and concurrency

Wojciech Penczek · Science of Computer Programming · 1990 · 4K citations

Communicating sequential processes

Microprocessors and Microsystems · 1986 · 2.2K citations

The Esterel synchronous programming language: design, semantics, implementation

Gérard Berry, Georges Gonthier · Science of Computer Programming · 1992 · 1.7K citations · Full text

Computing, Computer Engineering, Computer Science +9

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