CCS and the pi-calculus

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.

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: