283
edits
Pipe-calculus: Difference between revisions
→Terms
KalmanKeri (talk | contribs) |
KalmanKeri (talk | contribs) (→Terms) |
||
| Line 90: | Line 90: | ||
** ''output prefixing'' <math>!s \dot t</math> is a process that sends a term <math>s</math> to its output before proceeding as <math>t</math>. | ** ''output prefixing'' <math>!s \dot t</math> is a process that sends a term <math>s</math> to its output before proceeding as <math>t</math>. | ||
* ''sequence'' <math>s \seq t</math> is a composite process that executes <math>s</math> before proceeding as <math>t</math> unless <math>s</math> fails. In that case the composite process also fails. | * ''sequence'' <math>s \seq t</math> is a composite process that executes <math>s</math> before proceeding as <math>t</math> unless <math>s</math> fails. In that case the composite process also fails. | ||
* ''choice'' <math>s \alt t</math> is a forking process where one fork executes <math>s</math> while 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>\mathsf{succeed}</math> is a process that successfully terminated. | * <math>\mathsf{succeed}</math> is a process that successfully terminated. | ||