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