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) inria.fr

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


Last updated:
27-11-2006