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
CCS
Catuscia Palamidessi
,
Pierre-Louis Curien
Syntax and transitions, Equivalences
Static scoping, bisimulation, coinduction
Bisimulation "up to", weak and strong bisimulation
Axiomatization, unique solutions, Hennessy-Milner logic