283
edits
Pipe-calculus: Difference between revisions
→Normal forms
KalmanKeri (talk | contribs) |
KalmanKeri (talk | contribs) |
||
| Line 279: | Line 279: | ||
</math> | </math> | ||
While all other rules are syntax directed, rules for <math>\pipe</math> have to be attempted in the listed order for the following reasons. | |||
# The processes <math>a^- . s \pipe a^+ . t</math> and <math>\in x . s \pipe \out t . u</math> behave differently depending on the order of rule application, even if their normal forms are identical. | # The processes <math>a^- . s \pipe a^+ . t</math> and <math>\in x . s \pipe \out t . u</math> behave differently depending on the order of rule application, even if their normal forms are identical. | ||