An Algebraic Theory of Actors and Its Application to a Simple Object-Based Language
A Foundation for Actor Computation