283
edits
Pipe-calculus: Difference between revisions
→Process calculus
KalmanKeri (talk | contribs) |
KalmanKeri (talk | contribs) |
||
| Line 148: | Line 148: | ||
* Actions are the units of behavior. | * Actions are the units of behavior. | ||
* Sequence and nondeterministic choice form basic process algebra (BPA). <ref> | * Sequence and nondeterministic choice form basic process algebra (BPA). <ref> | ||
[https://www.cs.vu.nl/~wanf/BOOKS/procalg.pdf | [https://www.cs.vu.nl/~wanf/BOOKS/procalg.pdf Wan Fokkink: Introduction to Process Algebra.] | ||
Wan Fokkink: Introduction to Process Algebra.] | |||
</ref> | </ref> | ||
* The pipe operation can be seen as a restricted, unidirectional parallel composition. | * The pipe operation can be seen as a restricted, unidirectional parallel composition. | ||