Pi calcolo

Il pi calcolo, o π-calcolo è un sistema formale che descrive e analizza le proprietà della computazione di tipo 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 calcolo è in grado di descrivere la concorrenza anche in sistemi la cui configurazione può cambiare nel tempo, dato che permette comunicazione di nomi di canali sugli stessi canali.

Bibliografia

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

Controllo di autorità	LCCN (EN) sh98004617 · J9U (EN, HE) 987007534966605171