A Foundation for Actor Computation
Lambda-calculus models of programming languages.