283
edits
Pipe-calculus: Difference between revisions
→Connection with process calculus
KalmanKeri (talk | contribs) |
KalmanKeri (talk | contribs) |
||
| Line 186: | Line 186: | ||
\end{align} | \end{align} | ||
</math> | </math> | ||
=== Normal form === | |||
Normal form of pipe-calculus terms is defined by a term rewriting system. A term is in normal form if no rewrite rule applies to it. | |||
<math> | |||
\begin{alignat}{1} | |||
(s \seq t) \seq u \Rightarrow & s \seq (t \seq u) \\ | |||
(s \alt t) \seq u \Rightarrow & s seq u \alt t \seq u \\ | |||
\end{alignat} | |||
</math> | |||
== Connection with process calculus == | == Connection with process calculus == | ||