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:
“Then the justice,
In fair round belly with good capon lined,
With eyes severe and beard of formal cut,
Full of wise saws and modern instances;
And so he plays his part.”
—William Shakespeare (1564–1616)
“Not out of those, on whom systems of education have exhausted their culture, comes the helpful giant to destroy the old or to build the new, but out of unhandselled savage nature, out of terrible Druids and Berserkirs, come at last Alfred and Shakespeare.”
—Ralph Waldo Emerson (1803–1882)