Pipe-calculus: Difference between revisions

Pipe-calculus (view source)

10 bytes removed , 2 March 2023

283

edits

@@ Line 140: / Line 140: @@
 Implementations may include several of both categories and they are often open for extensions.
-In 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.
+It is a recurrent pattern in the literature that processes can be viewed 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 (not strictly specified) environment which is able to interact with the process.
 Pipe-calculus fits into this framework if we make the following observations.