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 10th 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.
- The Esterel-V5 Language Primer, by Gérard Berry. Donwload
References for LUSTRE
- Lustre: A Declarative Language for Programming Synchronous
Systems, by Paul Caspi, Daniel Pilaud, Nicolas Halbwachs, and John
Plaice. In the 14th Symposium on Principles of Programming
- 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.