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