283
edits
Pipe-calculus: Difference between revisions
→The pipe combinator
KalmanKeri (talk | contribs) |
KalmanKeri (talk | contribs) |
||
| Line 115: | Line 115: | ||
<math>\rhd</math> does not occur in the normal form of closed terms. | <math>\rhd</math> does not occur in the normal form of closed terms. | ||
If the operands are matching synchronisation prefixes, both sides make progress. | |||
<math>a^+ . s \rhd a^- . t = s \rhd t</math> | |||
If either the left or the right hand side argument is a choice, each branch of the left side is paired with each branch of the right side. | |||
<math>r \mid s \rhd t \mid u = (r \rhd t) \mid (r \rhd u) \mid (s \rhd t) \mid (s \rhd u)</math> | |||
==== Pipe and Unix pipelines ==== | ==== Pipe and Unix pipelines ==== | ||