资料来源 : Free On-Line Dictionary of Computing

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 {nondeterministic}ally selected and
        globally sequentialised.
     
        [Details?  Examples?]
     
        (1995-03-20)