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:
“Those of us who are in this world to educate—to care for—young children have a special calling: a calling that has very little to do with the collection of expensive possessions but has a lot to do with the worth inside of heads and hearts. In fact, that’s our domain: the heads and hearts of the next generation, the thoughts and feelings of the future.”
—Fred M. Rogers, U.S. writer and host of Mr. Rogers Neighborhood. “That Which is Essential Is Invisible to the Eye,” Young Children (July 1994)
“All visible objects, man, are but as pasteboard masks. But in each event—in the living act, the undoubted deed—there, some unknown but still reasoning thing puts forth the mouldings of its features from behind the unreasoning mask. If man will strike, strike through the mask!”
—Herman Melville (1819–1891)