The synchronous languages 12 years later
By Albert Benveniste, Paul Caspi, Stephen Anthony Edwards, Nicolas Halbwachs, Paul Le Guernic, Robert de Simone. Proceedings of the IEEE, 2003
988 citations recorded by the source corpus.
Subfields: Hardware and Architecture
View Paper: https://www.semanticscholar.org/paper/f15bdfa1552236b99e28977cabccdc15032d302c
How researchers see this paper
The researchers whose trusted networks rank it highest, strongest advocate first. Every researcher gets a different order.
In Hardware and Architecture
- Alberto L. Sangiovanni-Vincentelli
- Werner Damm
- Roberto Passerone
- Thomas A. Henzinger
- Dejan Nickovic
- Albert Benveniste
- Kim Guldstrand Larsen
- Jean-Baptiste Raclet
Citations in the corpus
- Contracts for System Design (2018, methodology): “By adding a distinguished symbol ⊥ < D to model the absence of an actual variable in the considered reaction, we get the multiple-clocked synchronous model used by synchronous languages [44].”