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.

Mentioned in ?
References in periodicals archive ?
We describe our linear type system in terms of a fragment of the polyadic pi-calculus [Milner 1991], omitting the choice and matching operators (as in Milner's mini pi-calculus [Milner 1990]) and using only asynchronous communication (as in Honda and Tokoro's v-calculus [Honda and Tokoro 1991]).
Principal typing schemes in a polyadic pi-calculus.