User:Ruud Koot/Actor model (rewrite)

In computer science, the actor model or actor paradigm is a model of concurrent computation based on independent agents that communicate through message passing. Distinguishing features from other models for concurrent computation, such as Petri nets and process calculi, are the lack of a global state and unbounded non-determinism.

Formal semantics

References

• Gul Agha. Semantic Considerations in the Actor Paradigm of Concurrent Computation, Lecture Notes in Computer Science 197: Seminar on Concurreny, Springer-Verlag. ISBN 0-387-15670-4.

External links

• Paul Mackay. Why has the actor model not succeeded?.