Title: Synchronous programming of reactive systems
Subjects: Programming languages (Electronic computers), Real-time programming, LUSTRE (langage de programmation), Systèmes homme-machine, LUSTRE, Signal, Echtzeitsprache, Programmation parallèle (informatique), Vérification programme, Programmierung, Langages de programmation, Système réactif, Temps réel, Systèmes à réaction, Programmation en temps réel, Temps réel (informatique), Compilation, Reaktives System, ARGOS, Echtzeitprogrammierung, Esterel (langage de programmation), Systèmes conversationnels (informatique), Parallelverarbeitung, ESTEREL, Computer programming