283
edits
Pipe-calculus: Difference between revisions
→Equational theory
KalmanKeri (talk | contribs) |
KalmanKeri (talk | contribs) |
||
| Line 202: | Line 202: | ||
=== Equational theory === | === Equational theory === | ||
Pipe-calculus can be | Pipe-calculus can be described as a process algebra | ||
<ref name="Baeten"> | <ref name="Baeten"> | ||
J.C.M. Baeten: [https://pure.tue.nl/ws/files/2154050/200402.pdf A brief history of process algebra.], Theoretical Computer Science 335 (2005) 131 – 146 | J.C.M. Baeten: [https://pure.tue.nl/ws/files/2154050/200402.pdf A brief history of process algebra.], Theoretical Computer Science 335 (2005) 131 – 146 | ||
| Line 257: | Line 257: | ||
\end{align} | \end{align} | ||
</math> | </math> | ||
Todo: pipe is also associative for ''well behaving'' operands. A process whose forks are all of the same prefixed form are certainly well behaving. | |||
=== Normal forms === | === Normal forms === | ||