J. Aldrich, Open Modules: Modular Reasoning About Advice, Proceedings of the 19th European Conference on Object-Oriented Programming (ECOOP 2005), number 3586 in Lecture Notes in Computer Science, pp.144-168, 2005.
DOI : 10.1007/11531142_7

P. Bidinger, A. Schmitt, and J. Stefani, An abstract machine for the kell calculus . Formal Methods for Open Object-Based Distributed Systems, pp.31-46, 2005.

E. Bodden and K. Havelund, Racer, Proceedings of the 2008 international symposium on Software testing and analysis, ISSTA '08, pp.155-165, 2008.
DOI : 10.1145/1390630.1390650

G. Boudol, A Generic Membrane Model (Note), Global Computing Workshop, pp.208-222
DOI : 10.1007/3-540-47959-7_3

S. Chiba, G. Kiczales, and J. Lamping, Avoiding confusion in metacircularity: The meta-helix, Proceedings of the 2nd International Symposium on Object Technologies for Advanced Software (ISOTAS'96), pp.157-172, 1996.
DOI : 10.1007/3-540-60954-7_49

C. Dutchyn, D. B. Tucker, and S. Krishnamurthi, Semantics and scoping of aspects in higher-order languages, Science of Computer Programming, vol.63, issue.3, pp.207-239, 2006.
DOI : 10.1016/j.scico.2006.01.003

W. G. Griswold, K. Sullivan, Y. Song, M. Shonle, N. Tewari et al., Modular software design with crosscutting interfaces, IEEE Software, vol.23, issue.1, pp.51-60, 2006.
DOI : 10.1109/MS.2006.24

R. Milner, Communicating and mobile systems: the ?-calculus, 1999.

B. C. Oliveira, T. Schrijvers, and W. R. Cook, EffectiveAdvice, Proceedings of the Eighth International Conference on Aspect-Oriented Software Development, AOSD '10, pp.109-120
DOI : 10.1145/1739230.1739244

H. Rajan and G. T. Leavens, Ptolemy: A Language with Quantified, Typed Events, Proceedings of the 22nd European Conference on Object-oriented Programming number 5142 in Lecture Notes in Computer Science, pp.155-179, 2008.
DOI : 10.1007/978-3-540-70592-5_8

A. Schmitt and J. Stefani, The Kell Calculus: A Family of Higher-Order Distributed Process Calculi, Global Computing, pp.146-178, 2005.
DOI : 10.1007/3-540-45694-5_19

B. C. Smith, Reflection and semantics in LISP, Proceedings of the 11th ACM SIGACT-SIGPLAN symposium on Principles of programming languages , POPL '84, pp.23-35, 1984.
DOI : 10.1145/800017.800513

F. Steimann, T. Pawlitzki, S. Apel, and C. Kästner, Types and modularity for implicit invocation with implicit announcement, ACM Transactions on Software Engineering and Methodology, vol.20, issue.1, 2010.
DOI : 10.1145/1767751.1767752

É. Tanter, Expressive scoping of dynamically-deployed aspects, Proceedings of the 7th international conference on Aspect-oriented software development , AOSD '08, pp.168-179, 2008.
DOI : 10.1145/1353482.1353503

É. Tanter, Beyond static and dynamic scope, Proceedings of the 5th ACM Dynamic Languages Symposium, pp.3-14, 2009.

É. Tanter, Execution levels for aspect-oriented programming, Proceedings of the Eighth International Conference on Aspect-Oriented Software Development, AOSD '10, pp.37-48
DOI : 10.1145/1739230.1739236

URL : https://hal.archives-ouvertes.fr/hal-00872786

É. Tanter, P. Moret, W. Binder, and D. Ansaloni, Composition of dynamic analysis aspects, Proceedings of the 9th ACM SIGPLAN International Conference on Generative Programming and Component Engineering, pp.113-122, 2010.