The Free On-line Dictionary of Computing (30 December 2018):

pi-calculus

    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.

   [Details?  Examples?]

   (1995-03-20)