283
edits
Pipe-calculus: Difference between revisions
→Process calculus
KalmanKeri (talk | contribs) |
KalmanKeri (talk | contribs) |
||
| Line 137: | Line 137: | ||
J.C.M. Baeten: [https://pdf.sciencedirectassets.com/271538/1-s2.0-S0304397500X05853/1-s2.0-S0304397505000307/main.pdf?X-Amz-Security-Token=IQoJb3JpZ2luX2VjEN%2F%2F%2F%2F%2F%2F%2F%2F%2F%2F%2FwEaCXVzLWVhc3QtMSJIMEYCIQCMZBB4AA1udjrVniZfBXgYqHN4EiFJ94RntrWOYPy56AIhAN9Xlt44hS A brief history of process algebra.], Theoretical Computer Science 335 (2005) 131 – 146 | J.C.M. Baeten: [https://pdf.sciencedirectassets.com/271538/1-s2.0-S0304397500X05853/1-s2.0-S0304397505000307/main.pdf?X-Amz-Security-Token=IQoJb3JpZ2luX2VjEN%2F%2F%2F%2F%2F%2F%2F%2F%2F%2F%2FwEaCXVzLWVhc3QtMSJIMEYCIQCMZBB4AA1udjrVniZfBXgYqHN4EiFJ94RntrWOYPy56AIhAN9Xlt44hS A brief history of process algebra.], Theoretical Computer Science 335 (2005) 131 – 146 | ||
</ref> | </ref> | ||
There are lots of implementations | There are lots of implementations of this approach and none of them can be pointed to as the primary one. | ||
of this approach and none of them can be pointed to as the primary one. | |||
A process calculus can be characterized by the | A process calculus can be characterized by the atomic units of behavior (actions, events) and formers of compound processes (operators, combinators). | ||
Implementations may include several of both categories and they are often open for extensions. | Implementations may include several of both categories and they are often open for extensions. | ||
| Line 147: | Line 146: | ||
Pipe-calculus fits into this framework if we make the following observations. | Pipe-calculus fits into this framework if we make the following observations. | ||
* Actions are the units of behavior. | * Actions are the atomic units of behavior. | ||
* | * Actions with sequence and nondeterministic choice form basic process algebra (BPA). <ref> | ||
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> | ||