283
edits
Pipe-calculus: Difference between revisions
→The pipe combinator
KalmanKeri (talk | contribs) |
KalmanKeri (talk | contribs) |
||
| Line 127: | Line 127: | ||
Any other combination of operands leads to failure of the current fork. | Any other combination of operands leads to failure of the current fork. | ||
The following example fails because synchronisation cannot occur between different atoms. | |||
<math>a^+ . s \rhd b^- . t = \mathsf{fail}</math> | <math>a^+ . s \rhd b^- . t = \mathsf{fail}</math> | ||