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:
“Two clergymen disputing whether ordination would be valid without the imposition of both hands, the more formal one said, “Do you think the Holy Dove could fly down with only one wing?””
—Horace Walpole (1717–1797)
“What is most original in a man’s nature is often that which is most desperate. Thus new systems are forced on the world by men who simply cannot bear the pain of living with what is. Creators care nothing for their systems except that they be unique. If Hitler had been born in Nazi Germany he wouldn’t have been content to enjoy the atmosphere.”
—Leonard Cohen (b. 1934)