Actor model theory
From Wikipedia, the free encyclopedia
In theoretical computer science, Actor model theory concerns theoretical issues for the Actor model.
This article needs additional citations for verification. (August 2011) |
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.