|
|
|
|
|
|
by wz1000
3154 days ago
|
|
|
The pi-calculus is a mathematical formalization of concurrent programs in the same way that lambda calculus is a formalization of computable functions. It is basically a notation that allows you to easily specify concurrent programs, and then rigorously reason about them. |
|
|