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 way it is able to describe concurrent computations whose network configuration may change during the computation.The π-calculus is elegantly simple yet very expressive.
| Attributes | Values |
|---|---|
| rdfs:comment |
|
| rdfs:seeAlso | |
| is known for of |