Main definitions and theorems about the Actor Model are referenced.

• Reference the main definitions and theorems of the Actor Model.

1. Actor
2. Procedure Interface
3. Message
4. Concurrency
5. On one-way asynchronous communication
6. Indeterminacy
7. Quasi commutativity
8. Future
9. Event
10. Actor Computation
11. Activation Sub Order
12. Arrival Sub Order
13. Precursor Sub Order
14. Actor Induction

• Definitions and theorems have been extracted from the analysis of publications about the Actor Model.

---