<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.
Physics Analysis Workbench « PI « PIC «
pi-calculus » Pick BASIC » PICL » pico-