G. A. Agha, Actors: A Model of Concurrent Computation in Distributed Systems, 1986.

S. M. Blackburn, R. Garner, and C. Hoffman, The DaCapo benchmarks: Java benchmarking development and analysis, OOPSLA '06, 2006.

R. Carlsson, K. F. Sagonas, and J. Wilhelmsson, Message analysis for concurrent programs using message passing, ACM Transactions on Programming Languages and Systems, vol.28, issue.4, 2006.
DOI : 10.1145/1146809.1146813
URL : http://user.it.uu.se/~richardc/papers/msganalysis.pdf

D. Clarke and T. Wrigstad, External Uniqueness Is Unique Enough, ECOOP '03, 2003.
DOI : 10.1007/978-3-540-45070-2_9
URL : http://homepages.cwi.nl/~dave/writing/papers/euiue.pdf

G. Czajkowski and L. Daynès, Multitasking without compromise, OOPSLA, 2001.
DOI : 10.1145/2442776.2442785

M. Fahndrich and M. Aiken, Language Support for Fast and Reliable Messagebased Communication in Singularity OS, 1st EuroSys Conference, 2006.

R. J. Garner, S. M. Blackburn, and D. Frampton, A comprehensive evaluation of object scanning techniques, 10th ISMM. ACM, 2011.

N. Geoffray, G. Thomas, and G. Muller, I-JVM: a Java Virtual Machine for component isolation in OSGi, 2009 IEEE/IFIP International Conference on Dependable Systems & Networks, 2009.
DOI : 10.1109/DSN.2009.5270296
URL : https://hal.archives-ouvertes.fr/inria-00415813

O. Gruber and F. Boyer, Ownership-based isolation for concurrent actors on multicore machines, ECOOP 2013, 2013.
DOI : 10.1007/978-3-642-39038-8_12
URL : https://hal.archives-ouvertes.fr/hal-00941393

P. Haller and M. Odersky, Actors That Unify Threads and Events, 9th Int, 2007.
DOI : 10.1007/978-3-540-72794-1_10
URL : http://lamp.epfl.ch/~phaller/doc/haller07actorsunify.pdf

P. Haller and M. Odersky, Capabilities for Uniqueness and Borrowing, 24th ECOOP, 2010.
DOI : 10.1007/978-3-642-14107-2_17
URL : http://infoscience.epfl.ch/record/142817/files/haller-odersky09-Capabilities_for_uniqueness_and_borrowing_TR.pdf

J. Hogg, Islands: aliasing protection in object-oriented languages, SIGPLAN Not, vol.26, issue.11 16, 1991.

R. K. Karmani, A. Shali, and G. Agha, Actor frameworks for the JVM platform, Proceedings of the 7th International Conference on Principles and Practice of Programming in Java, PPPJ '09, 2009.
DOI : 10.1145/1596655.1596658
URL : http://osl.cs.uiuc.edu/docs/pppj09/paper.pdf

G. Klein and T. Nipkow, A machine-checked model for a Java-like language, virtual machine, and compiler, ACM Transactions on Programming Languages and Systems, vol.28, issue.4, 2006.
DOI : 10.1145/1146809.1146811

N. H. Minsky, Towards alias-free pointers, ECOOP'96, 1996.
DOI : 10.1007/BFb0053062
URL : http://gecko.cs.purdue.edu/kacheck/ecoop96_nm.ps

P. Müller and A. Rudich, Ownership transfer in universe types, SIGPLAN Not, vol.42, issue.10, 2007.

S. Negara, R. K. Karmani, and G. A. Agha, Inferring ownership transfer for efficient message passing, 16th PPOPP. ACM, 2011.
DOI : 10.1145/2038037.1941566

Q. Sabah, SIAAM: Simple Isolation for an Abstract Actor Machine, 2013.
URL : https://hal.archives-ouvertes.fr/tel-00933072

S. Srinivasan and A. Mycroft, Kilim: Isolation-Typed Actors for Java, LNCS, vol.5142, issue.25, 2008.
DOI : 10.1007/978-3-540-70592-5_6