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 perceived that to express those impressions, to write that essential book, which is the only true one, a great writer does not, in the current meaning of the word, invent it, but, since it exists already in each one of us, interprets it. The duty and the task of a writer are those of an interpreter.”
—Marcel Proust (1871–1922)
“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)