Menu
Home
People
Places
Arts
History
Plants & Animals
Science
Life & Culture
Technology
Reference.org
Actor model theory
open-in-new
<p>In <a href="/facts/Theoretical_computer_science/jSkGGuvy">theoretical computer science</a>, Actor model theory concerns theoretical issues for the <a href="/facts/Actor_model/MJ49opnU">Actor model</a>. </p><p>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 <a href="/facts/Denotational_semantics_of_the_Actor_model/TSF0Fgmp">denotational models</a>. </p>