Formal Systems
Over the years, several different formal systems have been developed which permit reasoning about systems in the Actor model. These include:
- Operational semantics
- Laws for Actor systems
- Denotational semantics
- Transition semantics
There are also formalisms that are not fully faithful to the Actor model in that they do not formalize the guaranteed delivery of messages including the following (See Attempts to relate Actor semantics to algebra and linear logic):
- Several different Actor algebras
- Linear logic
Read more about this topic: Actor Model
Famous quotes containing the words formal and/or systems:
“True variety is in that plenitude of real and unexpected elements, in the branch charged with blue flowers thrusting itself, against all expectations, from the springtime hedge which seems already too full, while the purely formal imitation of variety ... is but void and uniformity, that is, that which is most opposed to variety....”
—Marcel Proust (1871–1922)
“Before anything else, we need a new age of Enlightenment. Our present political systems must relinquish their claims on truth, justice and freedom and have to replace them with the search for truth, justice, freedom and reason.”
—Friedrich Dürrenmatt (1921–1990)