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:

    Only a great actor finds the difficulties of the actor’s art infinite.
    Ellen Terry (1847–1928)

    There are very many characteristics which go into making a model civil servant. Prominent among them are probity, industry, good sense, good habits, good temper, patience, order, courtesy, tact, self-reliance, many deference to superior officers, and many consideration for inferiors.
    Chester A. Arthur (1829–1886)

    The theory of the Communists may be summed up in the single sentence: Abolition of private property.
    Karl Marx (1818–1883)