283
edits
Pipe-calculus: Difference between revisions
→Connection with process calculus
KalmanKeri (talk | contribs) |
KalmanKeri (talk | contribs) |
||
| Line 293: | Line 293: | ||
Notice that finding a matching rewriting rule does not require checking the equality of terms, only of atoms. | Notice that finding a matching rewriting rule does not require checking the equality of terms, only of atoms. | ||
== Extensions == | |||
* Recursion (μ-recursion, top level recursion, regular grammars) | |||
* Stack (context-free grammars) | |||
* Guarded choice | |||
* Ordered choice (PEG, backtracking, local context) | |||
* Intersection | |||
== Connection with process calculus == | == Connection with process calculus == | ||