Actor model theory

This article needs additional citations for verification. Please help improve this article by adding citations to reliable sources. Unsourced material may be challenged and removed. Find sources: "Actor model theory" – news · newspapers · books · scholar · JSTOR (August 2011) (Learn how and when to remove this message)

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.