283
edits
Pipe-calculus: Difference between revisions
→Connection with process calculus
KalmanKeri (talk | contribs) (→Syntax) |
KalmanKeri (talk | contribs) |
||
| Line 149: | Line 149: | ||
* The pipe operation can be seen as a restricted, unidirectional parallel composition. | * The pipe operation can be seen as a restricted, unidirectional parallel composition. | ||
There are also notable differences. | |||
* Communication primitives in mainstream process calculi often inseparably unite two conceptual steps: the selection of a communication target (e.g. a channel or another process) and the act of message sending. For example [[wikipedia:pi-calculus|Π-calculus]] <ref> Joachim Parrow: [https://courses.cs.vt.edu/~cs5204/fall05-kafura/Papers/PICalculus/parrow~2.pdf An Introduction to the Π-Calculus], chapter to appear in Handbook of Process Algebra, ed. Bergstra, Ponse and Smolka, | * Communication primitives in mainstream process calculi often inseparably unite two conceptual steps: the selection of a communication target (e.g. a channel or another process) and the act of message sending. For example [[wikipedia:pi-calculus|Π-calculus]] <ref> Joachim Parrow: [https://courses.cs.vt.edu/~cs5204/fall05-kafura/Papers/PICalculus/parrow~2.pdf An Introduction to the Π-Calculus], chapter to appear in Handbook of Process Algebra, ed. Bergstra, Ponse and Smolka, | ||