B. H. Cheng, Software engineering for self-adaptive systems: A research roadmap In: Software Engineering for Self-Adaptive Systems, Lecture Notes in Computer Science, vol.5525, pp.1-26, 2009.
DOI : 10.1007/978-3-642-02161-9

R. Bruni, A. Corradini, F. Gadducci, A. Lluch-lafuente, and A. Vandin, A Conceptual Framework for Adaptation, 2012.
DOI : 10.1007/978-3-642-28872-2_17

M. Salehie and L. Tahvildari, Self-adaptive software, ACM Transactions on Autonomous and Adaptive Systems, vol.4, issue.2, 2009.
DOI : 10.1145/1516533.1516538

R. Hirschfeld, P. Costanza, and O. Nierstrasz, Context-oriented Programming., The Journal of Object Technology, vol.7, issue.3, pp.125-151, 2008.
DOI : 10.5381/jot.2008.7.3.a4

G. Salvaneschi, C. Ghezzi, and M. Pradella, Context-oriented programming: A programming paradigm for autonomic systems, p.69, 2011.

P. Degano, G. L. Ferrari, L. Galletta, and G. Mezzetti, Typing Context-Dependent Behavioural Variation, Electronic Proceedings in Theoretical Computer Science, vol.109, 2012.
DOI : 10.4204/EPTCS.109.5
URL : http://arxiv.org/abs/1302.6332

M. Bartoletti, P. Degano, G. L. Ferrari, and R. Zunino, Local policies for resource usage analysis, ACM Transactions on Programming Languages and Systems, vol.31, issue.6, p.31, 2009.
DOI : 10.1145/1552309.1552313

M. Bartoletti, P. Degano, and G. L. Ferrari, Planning and verifying service composition, Journal of Computer Security, vol.17, issue.5, pp.799-837, 2009.
DOI : 10.3233/JCS-2009-0357
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.121.1077

D. Sangiorgi and D. Walker, The Pi-Calculus -a theory of mobile processes, 2001.

C. Skalka, S. Smith, and D. V. Horn, Types and trace effects of higher order programs, Journal of Functional Programming, vol.5, issue.02, pp.179-249, 2008.
DOI : 10.1145/353323.353382

K. W. Hamlen, J. G. Morrisett, and F. B. Schneider, Computability classes for enforcement mechanisms, ACM Transactions on Programming Languages and Systems, vol.28, issue.1, pp.175-205, 2006.
DOI : 10.1145/1111596.1111601
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.10.4161

M. Y. Vardi and P. Wolper, An automata-theoretic approach to automatic program verification (preliminary report), LICS IEEE Computer Society, pp.332-344, 1986.
DOI : 10.1007/3-540-50403-6_33

J. Hopcroft, R. Motwani, and J. Ullman, Introduction to automata theory, languages, and computation, 1979.
DOI : 10.1145/568438.568455

D. Clarke and I. Sergey, A semantics for context-oriented programming with layers, International Workshop on Context-Oriented Programming, COP '09, pp.1-106, 2009.
DOI : 10.1145/1562112.1562122
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.360.1428

R. Hirschfeld, A. Igarashi, and H. Masuhara, ContextFJ, Proceedings of the 10th international workshop on Foundations of aspect-oriented languages, FOAL '11, pp.19-23, 2011.
DOI : 10.1145/1960510.1960515

P. Costanza, Language constructs for context-oriented programming, Proceedings of the 2005 conference on Dynamic languages symposium , DLS '05, pp.1-10, 2005.
DOI : 10.1145/1146841.1146842
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.104.9313

A. Igarashi and N. Kobayashi, Resource usage analysis, In: POPL, pp.331-342, 2002.
DOI : 10.1145/1057387.1057390
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.10.1756

J. Proença, D. Clarke, E. P. De-vink, and F. Arbab, Decoupled execution of synchronous coordination models via behavioural automata, Electronic Proceedings in Theoretical Computer Science, vol.58, pp.65-79, 2011.
DOI : 10.4204/EPTCS.58.5

M. Bonsangue, D. Clarke, and A. Silva, Automata for Context-Dependent Connectors, In: Coordination Models and Languages, vol.154, issue.1, pp.184-203, 2009.
DOI : 10.1016/j.entcs.2005.12.034
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.656.392

H. R. Nielson and F. Nielson, Higher-order concurrent programs with finite communication topology (extended abstract), Proceedings of the 21st ACM SIGPLAN-SIGACT symposium on Principles of programming languages , POPL '94, pp.84-97, 1994.
DOI : 10.1145/174675.174538
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.36.9162

K. Honda, V. Vasconcelos, and M. Kubo, Language primitives and type discipline for structured communication-based programming, Programming Languages and Systems, pp.122-138, 1998.
DOI : 10.1007/BFb0053567
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.30.3650