Official Bibliography

We want to give here the official bibliographical references for the synchronous languages. Official means that these are the references given by the inventors of the languages themselves. Hence, our goal here is twofold. First, we want to give a list of bibliography references on synchronous languages, for the use of newcomers to this field. This should be particularly useful to PhD or Master students in their first year. And second, we want to list the official references so that people writing articles will know exactly what to cite. The references are classified by programming language. The corresponding file in the BibTeX format can be downloaded by right-clicking here.

References for the Synchronous Approach

• The Synchronous Languages Twelve Years Later, by Albert Benveniste, Paul Caspi, Stephen Edwards, Nicolas Halbwachs, Paul Le Guernic, and Robert de Simone, is the most recent survey article. In Proceedings of the IEEE, 91(1):64-83, January 2003. Download here.
• Synchronous Programming of Reactive Systems, a Tutorial and Commented Bibliography, by Nicolas Halbwachs, is another recent survey article. In the 10^th International Conference on Computer-Aided Verification, Springer Verlag, 1998. Download here.
• Synchronous Programming of Reactive Systems, by Nicolas Halbwachs, is a book surveying the four synchronous languages Lustre, Esterel, Argos, and Signal. Kluwer Academic, 1993.

References for ARGOS

• Operational and Compositional Semantics of Synchronous Automaton Compositions, by Florence Maraninchi is the earliest work. In CONCUR'92. Donwload here.
• Argos: An Automaton-Based Synchronous Language, by Florence Maraninchi and Yann Rémond is the most recent work. In Computer Languages, 27:1-3, April-October 2002. Donwload here.

References for ESTEREL

• The Foundations of Esterel, by Gérard Berry. In Proof, Language, and Interaction: Essays in Honour of Robin Milner, 2000. Donwload here.
• The Constructive Semantics of Esterel, by Gérard Berry. Donwload here.
• The Esterel-V5 Language Primer, by Gérard Berry. Donwload here.

References for LUSTRE

• Lustre: A Declarative Language for Programming Synchronous Systems, by Paul Caspi, Daniel Pilaud, Nicolas Halbwachs, and John Plaice. In the 14^th Symposium on Principles of Programming Languages, 1987.
• The Synchronous Data-Flow Programming Language Lustre, by Nicolas Halbwachs, Paul Caspi, Pascal Raymond, and Daniel Pilaud. In Proceedings of the IEEE, 79:9, September 1991. Download here.

References for SIGNAL

• Programming Real-Time Applications with Signal, by Paul Le Guernic, Thierry Gautier, Michel Le Borgne, and Claude Lemaire. In Proceedings of the IEEE, 79:9, September 1991. Download here.
• Polychrony for System Design, Paul Le Guernic, Jean-Pierre Talpin, and Jean-Christophe Le Lann. In Journal of Circuits, Systems, and Computers, 12(3):261-303 December 2003. Download here.

References for SL

• The SL Synchronous Language, F. Boussinot and R. de Simone. In IEEE Trans. on Software Engineering, 22:4, April 1996. Download the article here or the corresponding research report there.