283
edits
Pipe-calculus: Difference between revisions
→Normal form
KalmanKeri (talk | contribs) |
KalmanKeri (talk | contribs) |
||
| Line 225: | Line 225: | ||
\end{alignat} | \end{alignat} | ||
</math> | </math> | ||
Differently from other combinators, <math>\pipe</math> has a default rule, hence <math>\pipe</math> never occurs in normal forms. | |||
== Connection with process calculus == | == Connection with process calculus == | ||