pi-calculus
(redirected from Polyadic pi-calculus)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 nondeterministically selected and
globally sequentialised.
This article is provided by FOLDOC - Free Online Dictionary of Computing (foldoc.org)