pi-calculus
<theory> A {process algebra} in which channel names can act
both as transmission medium and as transmitted data. Its
basic atomic actions are individual point to point
communications which are {nondeterministic}ally selected and
globally sequentialised.
[Details? Examples?]
(1995-03-20)