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:
“I will not let him stir
Till I have used the approvèd means I have,
With wholesome syrups, drugs, and holy prayers,
To make of him a formal man again.”
—William Shakespeare (1564–1616)
“The only people who treasure systems are those whom the whole truth evades, who want to catch it by the tail. A system is just like truth’s tail, but the truth is like a lizard. It will leave the tail in your hand and escape; it knows that it will soon grow another tail.”
—Ivan Sergeevich Turgenev (1818–1883)