Pi calculus
Sign in to saveAlso known as pi-calculus
In theoretical computer science, the -calculus (or pi-calculus) is a process calculus. The -calculus allows channel names to be communicated along the channels themselves, and in this matter, it is able to describe concurrent computations whose network configuration may change during the computation.
Article · Italiano
Il pi calcolo, o π-calcolo è un sistema formale che descrive e analizza le proprietà della computazione di tipo concorrente.Inizialmente sviluppato da Robin Milner, e come proseguimento del lavoro già svolto sul CCS, 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.
Abstract from DBpedia / Wikipedia · CC BY-SA