1. Abadi, M., Cardelli, L.: A Theory of Objects. Springer, New York (1996)
2. Lecture Notes in Computer Science;J. Bauer,2008
3. Caromel, D., Henrio, L.: A Theory of Distributed Objects. Springer, New York (2005)
4. Focardi, R., Gorrieri, R.: A classification of security properties for process algebras. Journal of Computer Security 3(1), 5–33 (1995)
5. Fleck, A., Kammüller, F.: Implementing privacy with erlang active objects. In: 5th International Conference on Internet Monitoring and Protection, ICIMP 2010. IEEE, Los Alamitos (2010)