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 Calculi
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)
“The features of our face are hardly more than gestures which force of habit made permanent. Nature, like the destruction of Pompeii, like the metamorphosis of a nymph into a tree, has arrested us in an accustomed movement.”
—Marcel Proust (1871–1922)