283
edits
Pipe-calculus: Difference between revisions
→Process calculus
KalmanKeri (talk | contribs) |
KalmanKeri (talk | contribs) |
||
| Line 137: | Line 137: | ||
[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 J.C.M. Baeten: A brief history of process algebra.] | [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 J.C.M. Baeten: A brief history of process algebra.] | ||
</ref> | </ref> | ||
There are lots of | There are lots of implementations | ||
of this approach and none of them can be pointed to as the primary one. | |||
A process calculus can be characterized by the basic units of behavior (actions, events) and formers of compound processes (operators, combinators). | A process calculus can be characterized by the basic units of behavior (actions, events) and formers of compound processes (operators, combinators). | ||
Implementations may include several of both and they are often open for extensions. | Implementations may include several of both categories and they are often open for extensions. | ||
From the literature it is a recurrent pattern that processes can be examined in two ways: one can combine component processes and examine the evolution of the resulting process. In this setting component processes may communicate with each other and the compound process may come to a rest without displaying external behavior. A single process can also be examined by placing it into a (usually not strictly specified) environment which is able to interact with the process. | From the literature it is a recurrent pattern that processes can be examined in two ways: one can combine component processes and examine the evolution of the resulting process. In this setting component processes may communicate with each other and the compound process may come to a rest without displaying external behavior. A single process can also be examined by placing it into a (usually not strictly specified) environment which is able to interact with the process. | ||