A. Ahern and N. Yoshida, Formalising Java RMI with explicit code mobility, Theoretical Computer Science, vol.389, issue.3, pp.341-410, 2007.
DOI : 10.1016/j.tcs.2007.09.002

I. Aracic, V. Gasiunas, M. Mezini, and K. Ostermann, An Overview of CaesarJ, Transactions on AOSD I, vol.39, issue.10, pp.135-173, 2006.
DOI : 10.1007/3-540-45429-2_1

B. De-fraine, M. Südholt, and V. Jonckers, StrongAspectJ, Proceedings of the 7th international conference on Aspect-oriented software development , AOSD '08, pp.60-71, 2008.
DOI : 10.1145/1353482.1353491
URL : https://hal.archives-ouvertes.fr/inria-00473628

C. Fournet and G. Gonthier, The reflexive CHAM and the join-calculus, Proceedings of the 23rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages , POPL '96, pp.372-385, 1996.
DOI : 10.1145/237721.237805

C. Fournet and G. Gonthier, The Join Calculus: A Language for Distributed Mobile Programming, Lecture Notes in Comput. Sci, vol.2395, pp.268-332, 2002.
DOI : 10.1007/3-540-45699-6_6

C. Fournet, C. Laneve, L. Maranget, and D. Remy, Inheritance in the join calculus, The Journal of Logic and Algebraic Programming, vol.57, issue.1-2, pp.23-70, 2003.
DOI : 10.1016/S1567-8326(03)00040-7

A. Igarashi, B. Pierce, and P. Wadler, Featherweight Java: a minimal core calculus for Java and GJ, ACM Transactions on Programming Languages and Systems, vol.23, issue.3, pp.396-450, 2001.
DOI : 10.1145/503502.503505

R. Jagadeesan, A. Jeffrey, and J. Riely, A Calculus of Untyped Aspect-Oriented Programs, Proceedings of ECOOP, pp.54-73, 2003.
DOI : 10.1007/978-3-540-45070-2_4

A. Jeffrey, A distributed object calculus, Proceedings of the 25th workshop on foundations of object-oriented languages, 2000.

G. Kiczales, E. Hilsdale, J. Hugunin, M. Kersten, J. Palm et al., An Overview of AspectJ, Proceedings of the 15th ECOOP, pp.327-353, 2001.
DOI : 10.1007/3-540-45337-7_18

L. Navarro, M. Südholt, W. Vanderperren, B. De-fraine, and D. Suvee, Explicitly distributed AOP using AWED, Proceedings of the 5th international conference on Aspect-oriented software development , AOSD '06, pp.51-62, 2006.
DOI : 10.1145/1119655.1119665
URL : https://hal.archives-ouvertes.fr/inria-00071386

M. Nishizawa, S. Chiba, and M. Tatsubori, Remote pointcut, Proceedings of the 3rd international conference on Aspect-oriented software development , AOSD '04, pp.7-15, 2004.
DOI : 10.1145/976270.976274

R. Pawlak, L. Seinturier, L. Duchien, G. Florin, F. Legond-aubry et al., JAC: an aspect-based distributed dynamic framework. Software: Practice and Experience, p.34, 2004.
URL : https://hal.archives-ouvertes.fr/inria-00000042

J. Riely, M. Hennessy, ´. E. Tanter, J. Fabry, R. Douence et al., A typed language for distributed mobile processes [15] A. Schmitt. Safe Dynamic Binding in the Join Calculus Expressive scoping of distributed aspects, 25th symposium on POPL Proc. IFIP TCS 8th conf. on AOSD, pp.378-390, 1998.

E. Tanter and R. Toledo, A Versatile Kernel for Distributed AOP, Lecture Notes in Comput. Sci, vol.4025, pp.316-331, 2006.
DOI : 10.1007/11773887_25

D. Walker, S. Zdancewic, and J. Ligatti, A theory of aspects, 8th international conference on ICFP, pp.127-139, 2003.