, Proceedings of the 9th ACM International Conference on Aspect-Oriented Software Development Rennes and Saint Malo, 2010.

I. Aracic, V. Gasiunas, M. Mezini, and K. Ostermann, An Overview of CaesarJ, Transactions on Aspect-Oriented Software Development, pp.135-173, 2006.
DOI : 10.1007/3-540-45429-2_1

P. Avgustinov, A. Simon-christensen, L. Hendren, S. Kuzins, J. Lhoták et al., abc, Proceedings of the 4th international conference on Aspect-oriented software development , AOSD '05, pp.293-334, 2006.
DOI : 10.1145/1052898.1052906

L. D. , B. Navarro, M. Südholt, W. Vanderperren, D. Bruno-de-fraine et al., Explicitly distributed AOP using AWED, Proceedings of the 5th ACM International Conference on Aspect-Oriented Software Development, pp.51-62, 2006.
URL : https://hal.archives-ouvertes.fr/inria-00071386

L. D. , B. Navarro, M. Südholt, W. Vanderperren, and B. Verheecke, Modularization of distributed web services using AWED, Proceedings of the 8th International Symposium on Distributed Objects and Applications, pp.1449-1466, 2006.

N. Benton, L. Cardelli, and C. Fournet, Modern concurrency abstractions for C#, ACM Transactions on Programming Languages and Systems, vol.26, issue.5, pp.769-804, 2004.
DOI : 10.1145/1018203.1018205

J. Kenneth and . Biba, Integrity considerations for secure computer systems, 1977.

E. Bodden, F. Forster, and F. Steimann, Avoiding infinite recursion with stratified aspects, Proceedings of Net.ObjectDays, pp.49-54, 2006.

E. Bodden and V. Stolz, Tracechecks: Defining Semantic Interfaces with Temporal Logic, Proceedings of the 5th International Symposium on Software Composition, pp.147-162, 2006.
DOI : 10.1007/11821946_10

E. Bodden, É. Tanter, and M. Inostroza, Join point interfaces for safe and flexible decoupling of aspects, ACM Transactions on Software Engineering and Methodology, vol.23, issue.1, pp.1-7, 2014.
DOI : 10.1145/1018203.1018208

H. Chen, COCA: Computation Offload to Clouds Using AOP, 2012 12th IEEE/ACM International Symposium on Cluster, Cloud and Grid Computing (ccgrid 2012), pp.466-473, 2012.
DOI : 10.1109/CCGrid.2012.98

J. Clements and M. Felleisen, A tail-recursive machine with stack inspection, ACM Transactions on Programming Languages and Systems, vol.26, issue.6, pp.1029-1052, 2004.
DOI : 10.1145/1034774.1034778
URL : http://www.ccs.neu.edu/scheme/pubs/cf-toplas04.pdf

N. Tabareau and É. Tanter,

C. Clifton and G. T. Leavens, MiniMAO 1 : An imperative core language for studying aspect-oriented reasoning, Science of Computer Programming, vol.63, pp.312-374, 2006.

M. Curti, P. Degano, and C. T. Baldari, Causal ??-Calculus for Biochemical Modelling, In Computational Methods in Systems Biology Lecture Notes in Computer Science, vol.2602, pp.21-34, 2003.
DOI : 10.1007/3-540-36481-1_3

E. Bruno-de-fraine, M. Ernst, and . Südholt, Essential AOP, Proceedings of the 24th European Conference on Object-oriented Programming (ECOOP 2010), number 6183 in Lecture Notes in Computer Science, pp.101-125, 2010.
DOI : 10.1145/2362389.2362391

R. Douence, P. Fradet, and M. Südholt, Tracebased aspects, Aspect-Oriented Software Development, pp.201-217, 2005.
URL : https://hal.archives-ouvertes.fr/inria-00000947

R. Douence and L. Teboul, A Pointcut Language for Control-Flow, Proceedings of the 3rd ACM SIGPLAN/SIGSOFT Conference on Generative Programming and Component Engineering, pp.95-114, 2004.
DOI : 10.1007/978-3-540-30175-2_6

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

G. Duzan, J. Loyall, R. Schantz, R. Shapiro, and J. Zinky, Building adaptive distributed applications with middleware and aspects, Proceedings of the 3rd international conference on Aspect-oriented software development , AOSD '04, pp.66-73
DOI : 10.1145/976270.976280

T. Elrad, R. E. Filman, and A. Bader, Aspectoriented programming, Communications of the ACM, vol.44, issue.10, 2001.

C. Fournet and G. Gonthier, The Join Calculus: A Language for Distributed Mobile Programming, Applied Semantics, pp.268-332, 2002.
DOI : 10.1007/3-540-45699-6_6

C. Fournet and G. Gonthier, The reflexive chemical abstract machine and the join-calculus, Proceedings of POPL'96, pp.372-385, 1996.

C. Fournet, C. Laneve, L. Maranget, and D. Rémy, 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

C. Fournet, F. L. Fessant, L. Maranget, and A. Schmitt, JoCaml: A Language for Concurrent Distributed and Mobile Programming, Advanced Functional Programming, pp.129-158, 2003.
DOI : 10.1007/978-3-540-44833-4_5

V. Gasiunas, L. Satabin, M. Mezini, A. Núñez, and J. Noyé, EScala, Proceedings of the tenth international conference on Aspect-oriented software development, AOSD '11, pp.227-240, 2011.
DOI : 10.1145/1960275.1960303
URL : https://hal.archives-ouvertes.fr/inria-00559183

P. Haller and T. Van-cutsem, Implementing Joins Using Extensible Pattern Matching, Proceedings of the 10th International Conference on Coordination Models and Languages, pp.135-152, 2008.
DOI : 10.1007/978-3-540-68265-3_9

E. Hilsdale and J. Hugunin, Advice weaving in AspectJ, Proceedings of the 3rd international conference on Aspect-oriented software development , AOSD '04, pp.26-35
DOI : 10.1145/976270.976276

R. Jagadeesan, A. Jeffrey, and J. Riely, Typed parametric polymorphism for aspects, Science of Computer Programming, vol.63, issue.3, pp.267-296, 2006.
DOI : 10.1016/j.scico.2006.02.008

N. D. Jones, C. K. Gomard, and P. Sestoft, Partial Evaluation and Automatic Program Generation. International Series in Computer Science, 1993.

G. Kiczales, J. Irwin, J. Lamping, J. Loingtier, C. V. Lopes et al., Aspect oriented programming, In Special Issues in Object-Oriented Programming. Max Muehlhaeuser, 1996.

G. Kiczales, E. Hilsdale, J. Hugunin, M. Kersten, J. Palm et al., An Overview of AspectJ, Proceedings of the 15th European Conference on Object-Oriented Programming number 2072 in Lecture Notes in Computer Science, pp.327-353, 2001.
DOI : 10.1007/3-540-45337-7_18

G. Kiczales and M. Mezini, Aspect-oriented programming and modular reasoning, Proceedings of the 27th international conference on Software engineering (ICSE 2005), pp.49-58, 2005.
DOI : 10.1145/1062455.1062482
URL : http://people.cs.ubc.ca/~gregor/teaching/papers/aopmr34-sumbitted-icse-05.pdf

P. Leger, É. Tanter, and R. Douence, Modular and flexible causality control on the Web, Science of Computer Programming, vol.78, issue.9, pp.1538-1558, 2013.
DOI : 10.1016/j.scico.2012.11.005
URL : https://hal.archives-ouvertes.fr/inria-00626363

P. Leger, É. Tanter, and H. Fukuda, An expressive stateful aspect language, Science of Computer Programming, vol.102, issue.1, pp.108-141, 2015.
DOI : 10.1016/j.scico.2015.02.001

, Proceedings of the 3rd ACM International Conference on Aspect-Oriented Software Development, 2004.

L. Mandel and L. Maranget, The JoCaml language release 4.00. Inria, 2012.

H. Masuhara, G. Kiczales, and C. Dutchyn, A Compilation and Optimization Model for Aspect-Oriented Programs, Proceedings of Compiler Construction (CC2003), pp.46-60, 2003.
DOI : 10.1007/3-540-36579-6_4

A. Mdhaffar, R. B. Halima, E. Juhnke, and M. Jmaiel, AOP4CSM: An Aspect-Oriented Programming Approach for Cloud Service Monitoring, 2011 IEEE 11th International Conference on Computer and Information Technology, pp.363-370, 2011.
DOI : 10.1109/CIT.2011.67

M. Nishizawa, S. Chiba, and M. Tatsubori, Remote pointcut ? a language construct for distributed AOP, Lieberherr [35], pp.7-15

M. Obrovac and C. Tedeschi, Experimental Evaluation of a Hierarchical Chemical Computing Platform, International Journal of Networking and Computing, vol.3, issue.1, pp.37-54, 2013.
DOI : 10.15803/ijnc.3.1_37

C. D. Bruno, T. Oliveira, W. R. Schrijvers, and . Cook, EffectiveAdvice: discplined advice with explicit effects, AOSD 2010 [1], pp.109-120

C. D. Bruno, T. Oliveira, W. R. Schrijvers, and . Cook, MRI: Modular reasoning about interference in incremental programming, Journal of Functional Programming, vol.22, pp.797-852, 2012.

K. Ostermann, M. Mezini, and C. Bockisch, Expressive Pointcuts for Increased Modularity, Proceedings of the European Conference on Object-Oriented Programming, pp.214-240, 2005.
DOI : 10.1007/11531142_10

R. Pawlak, L. Seinturier, L. Duchien, G. Florin, F. Legond-aubry et al., JAC: an aspect-based distributed dynamic framework, Software: Practice and Experience, vol.34, issue.12, pp.1119-1148, 2004.
DOI : 10.1002/spe.605
URL : https://hal.archives-ouvertes.fr/inria-00000042

J. Pazat, T. Priol, and C. Tedeschi, Towards a chemistry-inspired middleware to program the internet of services, ERCIM News, vol.85, issue.34, 2011.
URL : https://hal.archives-ouvertes.fr/inria-00600706

J. Riely and M. Hennessy, A typed language for distributed mobile processes, Proceedings of POPL'98, pp.378-390, 1998.

M. Rinard, A. Salcianu, and S. Bugrara, A classification system and analysis for aspect-oriented programs, Proceedings of the 12th ACM Symposium on Foundations of Software Engineering (FSE 12), pp.147-158, 2004.

P. Samarati and S. Vimercati, Access control: Policies, models, and mechanisms. In FOSAD '00: Revised versions of lectures given during the IFIP WG 1.7 International School on Foundations of Security Analysis and Design on Foundations of Security Analysis and Design, pp.137-196, 2001.

S. Soares, E. Laureano, and P. Borba, Implementing distribution and persistence aspects with AspectJ, Proceedings of the 17th International Conference on Object-Oriented Programming Systems, Languages and Applications, pp.174-190, 2002.
DOI : 10.1145/582435.582437
URL : http://www.cin.ufpe.br/~phmb/papers/DistributionPersistenceAspectJOOPSLA2002.pdf

F. Steimann, The paradoxical success of aspectoriented programming, Proceedings of the 21st ACM SIG- PLAN Conference on Object-Oriented Programming Systems, Languages and Applications (OOPSLA 2006), pp.481-497, 2006.
DOI : 10.1145/1167515.1167514
URL : http://www-public.int-evry.fr/~gibson/Teaching/CSC5021/ReadingMaterial/Steimann06.pdf

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
URL : http://www.fernuni-hagen.de/ps/pubs/TOSEM-preprint.pdf

K. Sullivan, W. G. Griswold, H. Rajan, Y. Song, Y. Cai et al., Modular aspect-oriented design with XPIs, ACM Transactions on Software Engineering and Methodology, vol.20, issue.2, 2010.
DOI : 10.1145/1824760.1824762
URL : http://design.cs.iastate.edu/papers/TOSEM-09/aop-xpi-journal.pdf

N. Tabareau, A theory of distributed aspects, Proceedings of the Eighth International Conference on Aspect-Oriented Software Development, AOSD '10, pp.133-144
DOI : 10.1145/1739230.1739246
URL : https://hal.archives-ouvertes.fr/inria-00423996

N. Tabareau, I. Figueroa, and É. Tanter, A typed monadic embedding of aspects, Proceedings of the 12th annual international conference on Aspect-oriented software development, AOSD '13, pp.171-184, 2013.
DOI : 10.1145/2451436.2451457
URL : https://hal.archives-ouvertes.fr/hal-00763695

É. Tanter, J. Fabry, R. Douence, J. Noyé, and M. Südholt, Scoping strategies for distributed aspects, Science of Computer Programming, vol.75, issue.12, pp.1235-1261, 2010.
DOI : 10.1016/j.scico.2010.06.011
URL : https://hal.archives-ouvertes.fr/inria-00523569

É. Tanter, I. Figueroa, and N. Tabareau, Execution levels for aspect-oriented programming: Design, semantics, implementations and applications, Science of Computer Programming, vol.80, issue.1, pp.311-342, 2014.
DOI : 10.1016/j.scico.2013.09.002
URL : https://hal.archives-ouvertes.fr/hal-00872786

É. Tanter and R. Toledo, A Versatile Kernel for Distributed AOP, Proceedings of the IFIP International Conference on Distributed Applications and Interoperable Systems, pp.316-331, 2006.
DOI : 10.1007/11773887_25
URL : https://link.springer.com/content/pdf/10.1007%2F11773887_25.pdf

R. Toledo, A. Núñez, É. Tanter, and J. Noyé, Aspectizing Java Access Control, IEEE Transactions on Software Engineering, vol.38, issue.1, pp.101-117, 2012.
DOI : 10.1109/TSE.2011.6
URL : https://hal.archives-ouvertes.fr/inria-00567489

E. Truyen and W. Joosen, Run-time and atomic weaving of distributed aspects. Transactions on Aspect- Oriented Software Development II, pp.147-181, 2006.
DOI : 10.1007/11922827_6
URL : http://www.cs.kuleuven.ac.be/~eddy/PUBLICATIONS/TAOSD2006.pdf

P. Wadler, How to replace failure by a list of successes a method for exception handling, backtracking, and pattern matching in lazy functional languages, Proceedings of the Conference on Functional Programming Languages and Computer Architecture, pp.113-128, 1985.
DOI : 10.1007/3-540-15975-4_33

D. Walker, S. Zdancewic, and J. Ligatti, A theory of aspects, Proceedings of the 8th ACM SIGPLAN Conference on Functional Programming (ICFP 2003), pp.127-139, 2003.

M. Wand, G. Kiczales, and C. Dutchyn, A semantics for advice and dynamic join points in aspect-oriented programming, ACM Transactions on Programming Languages and Systems, vol.26, issue.5, pp.890-910, 2004.
DOI : 10.1145/1018203.1018208
URL : http://www.cs.iastate.edu/~leavens/FOAL/papers-2002/wand-kiczales-dutchyn.ps.gz