The pi-calculus

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.

Email: Francesco.Zappa_Nardelli (at)

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

Last updated: