283
edits
Pipe-calculus: Difference between revisions
→Connection with process calculus
KalmanKeri (talk | contribs) |
KalmanKeri (talk | contribs) |
||
| Line 253: | Line 253: | ||
* Actions are the atomic units of behavior. | * Actions are the atomic units of behavior. | ||
* Actions with | * Actions with sequential and alternative composition form basic process algebra (BPA). <ref name="Fokkink"> | ||
Wan Fokkink: [https://www.cs.vu.nl/~wanf/BOOKS/procalg.pdf Introduction to Process Algebra], Springer-Verlag | Wan Fokkink: [https://www.cs.vu.nl/~wanf/BOOKS/procalg.pdf Introduction to Process Algebra], Springer-Verlag | ||
</ref> | </ref> | ||