Accueil
Connexion
DENIF –
Documents d’Enseignement Numériques en Informatique Fondamentale
Thèmes
Cursus
Enseignants
Concurrence
Thème :
Sémantique
–
Cursus :
MPRI - M2
2006 - 2007
Determinacy and Confluence, Synchrony.
Roberto Amadio
Determinacy and Confluence
Confluence continued and a case study
Introduction to synchrony. SCCS and Meije.
Esterel/SL model. Reactivity, Determinacy, and survey of research issues.