Lectures given at the Master Parisien de Recherche en Informatique, 2008.
Part of the Concurrency course, in collaboration with Frank Valencia, Roberto Amadio, Emmanuel Haucourt.
- Slides on the syntax and the semantics of the pi-calculus.
- Slides on labelled transition systems, equivalences, and asynchrony.
- Slides on proof-techniques, functions as processes, types.
- Slides on i/o types, typed equivalences, receptiveness, and some slides for not getting lost.
Email: Francesco.Zappa_Nardelli (at) inria.fr
Address: Francesco Zappa Nardelli, Projet Moscova, INRIA Paris-Rocquencourt, Domaine de Voluceau, B.P. 105, 78153 Le Chesnay Cedex, France