283
edits
Pipe-calculus: Difference between revisions
→Terms
KalmanKeri (talk | contribs) |
KalmanKeri (talk | contribs) (→Terms) |
||
| Line 74: | Line 74: | ||
\def\dot{.} | \def\dot{.} | ||
\def\seq{\mathrel{;}} | \def\seq{\mathrel{;}} | ||
\def\alt{\mid} | \def\alt{\mid} | ||
\def\pipe{\rhd} | \def\pipe{\rhd} | ||
\def\pass{\textbf{pass}} | \def\pass{\textbf{pass}} | ||
| Line 94: | Line 92: | ||
* ''choice'' <math>s \alt t</math> is a forking process where one fork executes <math>s</math> while the other fork executes <math>t</math>. Execution of the forks overlap in time. If one of the forks fails, the composite process is replaced by the other fork. | * ''choice'' <math>s \alt t</math> is a forking process where one fork executes <math>s</math> while the other fork executes <math>t</math>. Execution of the forks overlap in time. If one of the forks fails, the composite process is replaced by the other fork. | ||
* ''pipeline'' <math>s \pipe t</math> is a composite process that enforces unidirectional, left to right data flow between its components. | * ''pipeline'' <math>s \pipe t</math> is a composite process that enforces unidirectional, left to right data flow between its components. | ||
* <math>\ | * ''top'' <math>\top</math> is a process that successfully terminated. | ||
* <math>\ | * ''bottom'' <math>\bot</math> is also a terminated process. In certain contexts it denotes failure. | ||
=== Sequence === | === Sequence === | ||