Next: PRESENTATION DE SIGNAL
Up: SPECIFICATION DES ALGORITHMES
Previous: LANGAGES CLASSIQUES DE
Issus de CSP, CCS, TLA etc. les langages SYNCHRONEs permettant l'expression du
parallélisme et la manipulation du temps
ESTEREL, STATECHARTS, LUSTRE, SIGNAL Langages
SYNCHRONEs
- ESTEREL, STATECHARTS Impératifs, Flot de contrôle, Fonctionnel,
Horloge maximale donnée
- LUSTRE Déclaratif, Flot de données, Fonctionnel, Horloge maximale
donnée
- SIGNAL Déclaratif, Flot de données, Relationnel, Horloge maximale
synthétisée
Yves Sorel
Thu Nov 20 19:17:30 MET 1997