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:
“The things of this world reveal their essential absurdity when they are put in the Venetian context. In the unreal realm of the canals, as in a Swiftian Lilliput, the real world, with its contrivances, appears as a vast folly.”
—Mary McCarthy (1912–1989)
““It looks as if
Some pallid thing had squashed its features flat
And its eyes shut with overeagerness
To see what people found so interesting
In one another, and had gone to sleep
Of its own stupid lack of understanding,
Or broken its white neck of mushroom stuff
Short off, and died against the windowpane.””
—Robert Frost (1874–1963)