| Actor Model Theory |
Article Index for Actor Model |
Website Links For Actor |
Information AboutActor Model Theory |
| CATEGORIES ABOUT ACTOR MODEL THEORY | |
| 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 . EVENTS AND THEIR ORDERINGS From the definition of an Actor, it can be seen that numerous events take place: local decisions, creating Actors, sending messages, receiving messages, and designating how to respond to the next message received. However, this article focuses on just those events that are the arrival of a message sent to an Actor. This article reports on the results published in Hewitt {Link without Title} . Law of Countability Activation ordering The activation ordering (-≈→) is a fundamental ordering that models one event activating another (there must be energy flow in the message passing from an event to an event which it activates).
|
|
|