Picalculus

1 definition found

From The Free On-line Dictionary of Computing (27 SEP 03) [foldoc]:

  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)