A Foundation for Actor Computation
A Theory of Communicating Sequential Processes