283
edits
Pipe-calculus: Difference between revisions
→Equational theory
KalmanKeri (talk | contribs) |
KalmanKeri (talk | contribs) |
||
| Line 136: | Line 136: | ||
=== Equational theory === | === Equational theory === | ||
Pipe-calculus can be examined as a process algebra<ref name="Fokkink"> | |||
Wan Fokkink: [https://www.cs.vu.nl/~wanf/BOOKS/procalg.pdf Introduction to Process Algebra], Springer-Verlag | |||
</ref>. | |||
The following structural identities are satisfied by all <math>s, t, u</math> pipe-calculus terms. | The following structural identities are satisfied by all <math>s, t, u</math> pipe-calculus terms. | ||