283
edits
Pipe-calculus: Difference between revisions
→Normal forms
KalmanKeri (talk | contribs) |
KalmanKeri (talk | contribs) |
||
| Line 279: | Line 279: | ||
\end{alignat} | \end{alignat} | ||
</math> | </math> | ||
Notice that finding a matching rewriting rule does not require equality checking of general terms, only atoms. | |||
== Connection with process calculus == | == Connection with process calculus == | ||