283
edits
Pipe-calculus: Difference between revisions
→Equational theory
KalmanKeri (talk | contribs) (→Syntax) |
KalmanKeri (talk | contribs) |
||
| Line 215: | Line 215: | ||
</math> | </math> | ||
Choice is associative, commutative and idempotent with neutral element <math>\fail</math> and absorbing element <math>\succeed</math>. | |||
<math> | <math> | ||
| Line 227: | Line 227: | ||
</math> | </math> | ||
Sequential composition is right distributive over | Sequential composition is right distributive over choice. | ||
<math> | <math> | ||