283
edits
Pipe-calculus: Difference between revisions
→Pipeline
KalmanKeri (talk | contribs) |
KalmanKeri (talk | contribs) |
||
| Line 172: | Line 172: | ||
=== Pipeline === | === Pipeline === | ||
After discussing sequence and choice, the pipe combinator is the first where interaction occurs | After discussing sequence and choice, the pipe combinator is the first where interaction occurs. | ||
<math>s \rhd t</math> is a composite process that enforces unidirectional data flow between its components. 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, according to the following diagram. | <math>s \rhd t</math> is a composite process that enforces unidirectional data flow between its components. 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, according to the following diagram. | ||