Accueil
Connexion
DENIF –
Documents d’Enseignement Numériques en Informatique Fondamentale
Thèmes
Cursus
Enseignants
Concurrence
Thème :
Sémantique
–
Cursus :
MPRI - M2
2007 - 2008
Course
Catuscia Palamidessi
,
Francesco Zappa Nardelli
,
Roberto Amadio
,
Frank Valencia
,
James Leifer
Motivations, Syntax and transitions of CCS
Equivalences
Up-to, axiomatization, Hennessy-Milner logic
Name passing, pi-calculus, barbed congruence
Proof techniques for synchronous and asynchronous pi
Functions as processes, simple types
Types to reason about processes
Motivation, expressiveness criteria and some classic expressiveness results.
Exercises
Partiel (with solutions)
Computational Expressiveness of CCS and Linearity vs Persistence in the Pi-Calculus
Calculs de processus probabilistes - 1/2
Calculs de processus probabilistes - 2/2
Expressing Choice and Electoral Systems in the Asynchronous Pi-Calculus
Applications of probabilistic process calculi to security
Determinacy and Confluence
Reactivity and Local Confluence. A Typing approach to Determinacy
Introduction to Synchrony. SCCS and Meije
TCCS and SL
Review (previous exam)
Exam with solution - 1/2
Exam with solution - 2/2
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