Essential Features
While the variety of existing process calculi is very large (including variants that incorporate stochastic behaviour, timing information, and specializations for studying molecular interactions), there are several features that all process calculi have in common:
- Representing interactions between independent processes as communication (message-passing), rather than as the modification of shared variables
- Describing processes and systems using a small collection of primitives, and operators for combining those primitives
- Defining algebraic laws for the process operators, which allow process expressions to be manipulated using equational reasoning
Read more about this topic: Process Calculus
Famous quotes containing the words essential and/or features:
“Perfect present has no existence in our consciousness. As I said years ago in Erewhon, it lives but upon the sufferance of past and future. We are like men standing on a narrow footbridge over a railway. We can watch the future hurrying like an express train towards us, and then hurrying into the past, but in the narrow strip of present we cannot see it. Strange that that which is the most essential to our consciousness should be exactly that of which we are least definitely conscious.”
—Samuel Butler (1835–1902)
“However much we may differ in the choice of the measures which should guide the administration of the government, there can be but little doubt in the minds of those who are really friendly to the republican features of our system that one of its most important securities consists in the separation of the legislative and executive powers at the same time that each is acknowledged to be supreme, in the will of the people constitutionally expressed.”
—Andrew Jackson (1767–1845)