Pi calculus

Il $\pi$-calculus è un formalismo che descrive e analizza le proprietà del calcolo concorrente. Inizialmente sviluppato da Robin Milner, Joachim Parrow e David Walker come proseguimento del lavoro già svolto sul CCS (Calculus of Communicating Systems), rispetto ai formalismi precedenti il $\pi$-calculus è in grado di descrivere la computazione concorrente in sistemi la cui configurazione può cambiare nel tempo.

Bibliografia

• Robin Milner: Communicating and Mobile Systems: the Pi-Calculus, Cambridge Univ. Press, 1999, ISBN 0-521-65869-1
• Robin Milner: The Polyadic $\pi$-Calculus: A Tutorial. Logic and Algebra of Specification, 1993.
• Davide Sangiorgi and David Walker: The Pi-calculus: A Theory of Mobile Processes, Cambridge Univ. Press, 2001, ISBN 0-521-78177-9