Lectures given at the Master Parisien de Recherche en Informatique, 2007.
Part of the Concurrency course, in collaboration with Roberto Amadio, Catuscia Palamidessi, Frank Valencia.
- Slides on the syntax and reduction semantics of CCS.
- Slides on equivalences.
- Slides on up-to techniques, axiomatixation and Hennessy-Milner logic.
- Slides on name passing and contextual equivalences.
- Slides on proof techniques for synchronous and asynchronous pi.
- Slides on functions as processes and simple types.
- Slides on types to reason about processes.
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