1. Actors: A Model of Concurrent Computation in Distributed Systems;Agha,1986
2. Concurrent object-oriented programming;Agha;Comm. ACM,1990
3. A foundation for actor computation;Agha;J. Funct. Programming,1997
4. H.G. Baker, C. Hewitt, Laws for communicating parallel processes, IFIP Congress, IFIP, August 1977, pp. 987–992.
5. M. Clavel, F. Durán, S. Eker, P. Lincoln, N. Marti-Oliet, J. Meseguer, J. Quesada, Maude: specification and programming in rewriting logic, 1999. URL: http://maude.csl.sri.com/manual.