pi-calculus


pi-calculus

(theory)A process algebra in which channel names can actboth as transmission medium and as transmitted data. Itsbasic atomic actions are individual point to pointcommunications which are nondeterministically selected andglobally sequentialised.