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?]
(1995-03-20)
| The Free On-line Dictionary of Computing, © 1993-2007 Denis Howe |
View results from: Dictionary | Thesaurus | Encyclopedia | All Reference | the Web
Perform a new search, or try your search for "Pi-calculus" at:
- Amazon.com - Shop for books, music and more
- Reference.com - Encyclopedia Search
- Reference.com - Web Search powered by Google
- Thesaurus.com - Search for synonyms and antonyms














