Pi-calculus




<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.

[Details?

Examples?]



< Previous Terms Terms Containing pi-calculus Next Terms >
Physical Sequential
Physical Transport Network
Physics Analysis Workbench
PI
PIC
Darwin
nu-calculus
Pick BASIC
PICL
pico-
picosecond
PICS