283
edits
Pipe-calculus: Difference between revisions
→Zero-order calculus
KalmanKeri (talk | contribs) |
KalmanKeri (talk | contribs) |
||
| Line 90: | Line 90: | ||
* ''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. | ||
* ''alternatives'' <math>s \alt t</math> is a branching process where one branch executes <math>s</math> while the other branch concurrently executes <math>t</math>. If one of the branches fail, the composite process is replaced by the other branch. | * ''alternatives'' <math>s \alt t</math> is a branching process where one branch executes <math>s</math> while the other branch concurrently executes <math>t</math>. If one of the branches fail, the composite process is replaced by the other branch. | ||
* ''pipeline'' <math>s \pipe t</math> is a composite process that enforces unidirectional data flow. | * ''pipeline'' <math>s \pipe t</math> is a composite process that enforces unidirectional data flow. Input of the composite process is forwarded to the input of <math>s</math>, output of <math>s</math> is connected to the input of <math>t</math> and output of <math>t</math> is forwarded to the output of the composite process. | ||
* <math>\mathsf{succeed}</math> is a process that successfully terminated. | * <math>\mathsf{succeed}</math> is a process that successfully terminated. | ||
* <math>\mathsf{fail}</math> is a process that failed. | * <math>\mathsf{fail}</math> is a process that failed. | ||