1. G. Agha. 1986. Actors: A Model of Concurrent Computation in Distributed Systems. MIT Press, Cambridge, MA, USA.
2. G. Agha and P. Thati. 2004. An Algebraic Theory of Actors and Its Application to a Simple Object-Based Language. In From ObjectOrientation to Formal Methods, Essays in Memory of Ole-Johan Dahl. Springer-Verlag, Berlin, 26–57.
3. E. Bonelli and AdrianaA. B. Compagnoni. 2007. Multipoint Session Types for a Distributed Calculus. In Proceedings of TGC 2007. SpringerVerlag, Berlin, 240–256.
4. M. Bravetti, C. Di Giusto, J. A. Pérez, and G. Zavattaro. 2011. Adaptable Processes. In Proceedings of FMOODS’11/FORTE’11. Springer-Verlag, Berlin, 90–105. http://dl.acm.org/citation.cfm?id=2022067.2022073
5. L. Cardelli and A.D. Gordon. 2000. Mobile ambients. Theoretical Computer Science 240, 1 (2000), 177 – 213.