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
modifica- 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 |
|---|
