Pi calculus

Da Wikipedia, l'enciclopedia libera.

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[modifica | modifica wikitesto]