The Synchronous Languages 12 Years Later ALBERT BENVENISTE, FELLOW, IEEE, PAUL CASPI, STEPHEN A. EDWARDS, MEMBER, IEEE, NICOLAS HALBWACHS, PAUL LE GUERNIC, AND ROBERT DE SIMONE

Source URL: www-verimag.imag.fr

• Electronic engineering
• Software engineering
• Esterel
• SIGNAL
• Lustre
• SyncCharts
• Globally asynchronous locally synchronous
• Dataflow programming
• Formal methods
• Computing
• Hardware description languages
• Synchronous programming languages