User:Ruud Koot/Actor model (rewrite)
Appearance
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.
Overview
[edit]History
[edit]Formal semantics
[edit]Operational semantics
[edit]Denotational semantics
[edit]See also
[edit]References
[edit]- 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
[edit]- Paul Mackay. Why has the actor model not succeeded?.