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?]
Last updated: 1995年03月20日
Nearby terms:
Physics Analysis Workbench ♦ PI ♦ pi ♦ PIC ♦ pi-calculus ♦ Pick BASIC ♦ PICL ♦ PICNIC ♦ pico-
Try this search on Wikipedia, Wiktionary, Google, OneLook.
Loading