283
edits
Pipe-calculus: Difference between revisions
→Equational theory
KalmanKeri (talk | contribs) (→Syntax) |
KalmanKeri (talk | contribs) |
||
| Line 182: | Line 182: | ||
\def\pipe{\rhd} | \def\pipe{\rhd} | ||
\def\pass{\textbf{pass}} | \def\pass{\textbf{pass}} | ||
\def\eq{ = ~} | \def\eq{ = ~} | ||
</math>Sequential composition is associative with left neutral element <math>\succeed</math> and left absorbing element <math>\fail</math>. | </math>Sequential composition is associative with left neutral element <math>\succeed</math> and left absorbing element <math>\fail</math>. | ||