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:
“I blame the newspapers because every day they call our attention to insignificant things, while three or four times in our lives, we read books that contain essential things. Once we feverishly tear the band of paper enclosing our newspapers, things should change and we should find—I do not know—the Pensées by Pascal!”
—Marcel Proust (1871–1922)
“Each reader discovers for himself that, with respect to the simpler features of nature, succeeding poets have done little else than copy his similes.”
—Henry David Thoreau (1817–1862)