Lectures given at the Master Parisien de Recherche en Informatique, 2006.
Part of the Concurrency course, in collaboration with Pierre-Louis Curien, Roberto Amadio, Catuscia Palamidessi.
- Slides on the syntax and the semantics of the pi-calculus. [pdf4]
- Slides on labelled equivalences. [pdf4]
- Slides on up-to proof techniques and on the asynchronous pi-calculus. [pdf4]
- Slides on types for processes. [pdf4]
- Stages proposed.
Email: Francesco.Zappa_Nardelli (at) inria.fr
Address: Francesco Zappa Nardelli, Projet Moscova, INRIA Rocquencourt, Domaine de Voluceau, B.P. 105, 78153 Le Chesnay Cedex, France