C. Baier, M. Sirjani, F. Arbab, and J. J. Rutten, Modeling component connectors in Reo by constraint automata, Science of Computer Programming, vol.61, issue.2, p.61, 2006.
DOI : 10.1016/j.scico.2005.10.008

F. Barbier, B. Henderson-sellers, A. L. Parc, and J. M. Bruel, Formalization of the whole-part relationship in the unified modeling language, IEEE Transactions on Software Engineering, vol.29, issue.5, 2003.
DOI : 10.1109/TSE.2003.1199074

J. Bengtson, M. Johansson, J. Parrow, and B. Victor, Psi-calculi: a framework for mobile processes with nominal data and logic, Logical Methods in Computer Science, vol.7, issue.1, 2011.
DOI : 10.2168/LMCS-7(1:11)2011

S. Bliudze and J. Sifakis, A Notion of Glue Expressiveness for Component-Based Systems, In CONCUR LNCS, vol.5201, 2008.
DOI : 10.1007/978-3-540-85361-9_39

R. N. Bol and J. F. Groote, The meaning of negative premises in transition system specifications, Journal of the ACM, vol.43, issue.5, pp.863-914, 1996.
DOI : 10.1145/234752.234756

M. Bugliesi, G. Castagna, and S. Crafa, Access control for mobile agents, ACM Transactions on Programming Languages and Systems, vol.26, issue.1, 2004.
DOI : 10.1145/963778.963781
URL : https://hal.archives-ouvertes.fr/hal-00152525

L. Cardelli and A. Gordon, Mobile Ambients, Theoretical Computer Science, vol.240, issue.1, 2000.

G. L. Cattani and P. Sewell, Models for name-passing processes: interleaving and causal, Information and Computation, vol.190, issue.2, 2004.

R. Cleaveland, G. Lüttgen, and V. Natarajan, Priority in Process Algebra, Handbook of Process Algebra, 2001.
DOI : 10.1016/B978-044482830-9/50030-8

B. A. Davey and H. A. Priestley, Introduction to Lattices and Order, 2002.
DOI : 10.1017/CBO9780511809088

P. C. David, T. Ledoux, M. Léger, and T. Coupaye, FPath and FScript: Language support for navigation and reliable reconfiguration of Fractal architectures, annals of telecommunications - annales des t??l??communications, vol.7, issue.3, 2009.
DOI : 10.1007/s12243-008-0073-y
URL : https://hal.archives-ouvertes.fr/hal-00468474

R. De-nicola, M. Loreti, R. Pugliese, and F. Tiezzi, A Formal Approach to Autonomic Systems Programming: The SCEL Language, ACM Trans. on Autonomous and Adaptive Systems, vol.9, issue.2, p.2014
DOI : 10.1007/978-3-319-15317-9_2

C. , D. Giusto, and J. Stefani, Revisiting glues for component-based systems, COORDINATION 2011, 2011.

G. L. Ferrari, D. Hirsch, I. Lanese, U. Montanari, and E. Tuosto, Synchronised Hyperedge Replacement as a Model for Service Oriented Computing, FMCO 2005, 2005.
DOI : 10.1007/11804192_2

J. L. Fiadeiro and A. Lopes, A model for dynamic reconfiguration in serviceoriented architectures, Software and System Modeling, p.2013

D. Hirschkoff, T. Hirschowitz, D. Pous, A. Schmitt, and J. Stefani, Component-Oriented Programming with Sharing: Containment is Not Ownership, GPCE 2005, 2005.
DOI : 10.1007/11561347_26
URL : https://hal.archives-ouvertes.fr/hal-00310126

P. Kruchten, Architectural blueprints ? The 4+1 view model of software architecture, IEEE Software, vol.12, issue.6, 1995.

I. Lanese and U. Montanari, Abstract, Theory and Practice of Logic Programming, 2007.
DOI : 10.1017/S147106840600281X
URL : https://hal.archives-ouvertes.fr/hal-00909384

S. Lenglet, A. Schmitt, and J. B. Stefani, Characterizing contextual equivalence in calculi with passivation, Information and Computation, vol.209, issue.11, 2011.
DOI : 10.1016/j.ic.2011.08.002
URL : https://hal.archives-ouvertes.fr/hal-00903877

R. Milner, The Space and Motion of Communicating Agents, 2009.
DOI : 10.1017/CBO9780511626661

M. R. Mousavi, M. A. Reniers, and J. F. Groote, SOS formats and meta-theory: 20 years after, Theoretical Computer Science, vol.373, issue.3, 2007.
DOI : 10.1016/j.tcs.2006.12.019

F. Oquendo, ??-ADL, ACM SIGSOFT Software Engineering Notes, vol.29, issue.3, 2004.
DOI : 10.1145/986710.986728

T. C. Przymusinski, The well-founded semantics coincides with the three-valued stable semantics, Fundamenta Informaticae, p.13, 1990.

D. Sangiorgi and D. Walker, The ?-calculus: A Theory of Mobile Processes, 2001.

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

S. Tripakis, C. Stergiou, C. Shaver, and E. A. Lee, A modular formal semantics for Ptolemy, Mathematical Structures in Computer Science, vol.218, issue.04, p.2013
DOI : 10.1016/0304-3975(94)00202-T

R. J. Van-glabbeek, The meaning of negative premises in transition system specifications II, The Journal of Logic and Algebraic Programming, vol.60, issue.61, pp.60-61, 2004.
DOI : 10.1016/j.jlap.2004.03.007

M. Wermelinger and J. L. Fiadeiro, A graph transformation approach to software architecture reconfiguration, Science of Computer Programming, vol.44, issue.2, 2002.
DOI : 10.1016/S0167-6423(02)00036-9