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 actors art infinite.”
—Ellen Terry (18471928)
“...that absolutely everything beloved and cherished of the bourgeoisie, the conservative, the cowardly, and the impotentthe State, family life, secular art and sciencewas consciously or unconsciously hostile to the religious idea, to the Church, whose innate tendency and permanent aim was the dissolution of all existing worldly orders, and the reconstitution of society after the model of the ideal, the communistic City of God.”
—Thomas Mann (18751955)
“There could be no fairer destiny for any physical theory than that it should point the way to a more comprehensive theory in which it lives on as a limiting case.”
—Albert Einstein (18791955)