The pi-calculus is a formal model of concurrent computation that works by creating and exchanging names (connection points).
The pi-calculus is a formal model of concurrent computation that works by creating and exchanging names (connection points).