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.
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
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
Probabilistic process calculi and applications to Security
Catuscia Palamidessi
Expressiveness issues
Uses of randomization in distributed computing and in security
Elements of probability and measure theory. Probabilistic automata. The probabilistic pi-calculus
Exercices et examens
Exercises in preparation for the mid-exam
Mid-exam with solutions