283
edits
Pipe-calculus: Difference between revisions
→Equational theory
KalmanKeri (talk | contribs) |
KalmanKeri (talk | contribs) |
||
| Line 145: | Line 145: | ||
\begin{align} | \begin{align} | ||
s \seq (t \seq u) = & (s \seq t) \seq u \\ | s \seq (t \seq u) = & (s \seq t) \seq u \\ | ||
t \seq \null = \null \seq t = t \\ | t \seq \null = & \null \seq t = t \\ | ||
\end{align} | \end{align} | ||
</math> | </math> | ||
| Line 156: | Line 156: | ||
s \mid (t \mid u) = & (s \mid t) \mid u \\ | s \mid (t \mid u) = & (s \mid t) \mid u \\ | ||
t \mid t = & t \\ | t \mid t = & t \\ | ||
t \mid \fail = t \\ | t \mid \fail = & t \\ | ||
\end{align} | \end{align} | ||
</math> | </math> | ||