Bibliographie

Ouvrages et articles de référence de l'équipe

1
G. BERRY,
The Constructive Semantics of Pure Esterel,
version electronique, 1999,
ftp://ftp.esterel.org/esterel/pub/papers/constructiveness3.ps.gz.
2
G. BERRY,
The Esterel Language Primer,
version electronique, 1999,
ftp://ftp.esterel.org/esterel/pub/papers/primer.pdf.
3
G. BERRY,
The Foundations of Esterel, Foundations of Computing Series,
MIT Press, 2000,
ftp://ftp.esterel.org/esterel/pub/papers/foundations.pdf.
4
F. BOUSSINOT, R. DE SIMONE,
« The Esterel Language »,
Another Look at Real Time Programming, Proceedings of the IEEE 79, 1991, p. 1293-1304.

Articles et chapitres de livre

5
A. BENVENISTE, P. CASPI, S. EDWARDS, N. HALBWACHS, P. L. GUERNIC, R. DE SIMONE,
« Synchronous Languages Twelve Years Later »,
Proceedings of the IEEE,
à paraître.
6
S. MOISAN, A. RESSOUCHE, J.-P. RIGAULT,
« BLOCKS, a Component Framework with Checking Facilities for Knowledge-Based Sys tems »,
Informatica, Special Issue on Component Based Software Development, 2002,
to appear.

Communications à des congrès, colloques, etc.

7
C. ANDRÉ, R. DE SIMONE,
« Programmation synchrone: Propriétés dans une réaction »,
in: Actes de la conférence MSR'01 : Modélisation des Systèmes Réactifs,
2001,
http://dmi.ensica.fr/msr2001/.