Correctness issues on MARTE/CCSL constraints

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

The synchronous languages 12 years later

Albert Benveniste, P. Caspi, Stephen A. Edwards et al. · Proceedings of the IEEE · 2003 · 932 citations · Full text

Computing, Computer Engineering, Computer Science +15

A framework for comparing models of computation

Edward A. Lee, Alberto Sangiovanni‐Vincentelli · IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems · 1998 · 689 citations

Computing, Computer Science, Computer Systems +16

LUSTRE: a declarative language for real-time programming

P. Caspi, D. Pilaud, Nicolas Halbwachs et al. · 1987 · 557 citations · Full text

Computing, Computer Engineering, Computer Science +17

LUSTRE: A declarative language for programming synchronous systems*

Paul Caspi, D. Pilaud, Nicolas Halbwachs et al. · 1987 · 463 citations

Engineering, Computer Engineering, Computer Science +15