283
edits
Pipe-calculus: Difference between revisions
→Rules
KalmanKeri (talk | contribs) (→Terms) |
KalmanKeri (talk | contribs) (→Rules) |
||
| Line 194: | Line 194: | ||
<math>a^+ . s \rhd b^- . t = \bot</math> | <math>a^+ . s \rhd b^- . t = \bot</math> | ||
If any of the arguments is a choice, each | If any of the arguments 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> | <math>r \mid s \rhd t \mid u = (r \rhd t) \mid (r \rhd u) \mid (s \rhd t) \mid (s \rhd u)</math> | ||