Actor Model Theory

In theoretical computer science, Actor model theory concerns theoretical issues for the Actor model.

Actors are the primitives that form the basis of the Actor model of concurrent digital computation. In response to a message that it receives, an Actor can make local decisions, create more Actors, send more messages, and designate how to respond to the next message received. Actor model theory incorporates theories of the events and structures of Actor computations, their proof theory, and denotational models.

Read more about Actor Model Theory:  Events and Their Orderings, Denotational Semantics

Famous quotes containing the words actor, model and/or theory:

    “I have often seen an actor laugh off the stage, but I don’t remember ever having seen one weep.”
    —Denis Diderot (1713–1784)

    “The playing adult steps sideward into another reality; the playing child advances forward to new stages of mastery....Child’s play is the infantile form of the human ability to deal with experience by creating model situations and to master reality by experiment and planning.”
    —Erik H. Erikson (20th century)

    “The theory of rights enables us to rise and overthrow obstacles, but not to found a strong and lasting accord between all the elements which compose the nation.”
    —Giuseppe Mazzini (1805–1872)