Actor Model - Formal Systems

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:

    The conviction that the best way to prepare children for a harsh, rapidly changing world is to introduce formal instruction at an early age is wrong. There is simply no evidence to support it, and considerable evidence against it. Starting children early academically has not worked in the past and is not working now.
    David Elkind (20th century)

    We have done scant justice to the reasonableness of cannibalism. There are in fact so many and such excellent motives possible to it that mankind has never been able to fit all of them into one universal scheme, and has accordingly contrived various diverse and contradictory systems the better to display its virtues.
    Ruth Benedict (1887–1948)