L'informatique du temps et des événements

Systèmes réactifs logiciels, le design du langage synchrone Esterel v5