The pi-calculus

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.

Email: Francesco.Zappa_Nardelli (at)

Address: Francesco Zappa Nardelli, Projet Moscova, INRIA Paris-Rocquencourt, Domaine de Voluceau, B.P. 105, 78153 Le Chesnay Cedex, France

Last updated: