Pi calcolo
Al giorno d'oggi, Pi calcolo è un argomento che ha catturato l'attenzione della società in generale. Dato il suo impatto su diversi aspetti della vita quotidiana, non c'è da meravigliarsi che le persone siano interessate a saperne di più su Pi calcolo e tutte le sue implicazioni. Pi calcolo ha generato dibattiti e discussioni in diversi ambiti, dalla politica alla scienza, passando per la cultura e la tecnologia. In questo articolo esploreremo a fondo tutti gli aspetti di Pi calcolo, per comprenderne l'importanza e il modo in cui sta plasmando il mondo in cui viviamo.
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 |
|---|
