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
Pi-calcul
Francesco Zappa Nardelli
Syntax, reduction semantics, observational equivalence
Observational equivalence and labelled bisimulations in CCS and pi-calculus
Up-to proof methods, asynchrony, mobility
Types for processes