T. Balabonski, F. Pottier, and J. Protzenko, The design and formalization of Mezzo, a permission-based programming language, ACM Trans. Program. Lang. Syst, vol.38, issue.4, 2016.
URL : https://hal.archives-ouvertes.fr/hal-01246534

F. Barbier, B. Henderson-sellers, A. L. Parc, and J. M. Bruel, Formalization of the whole-part relationship in the unified modeling language, IEEE Trans. Software Eng, vol.29, issue.5, 2003.
URL : https://hal.archives-ouvertes.fr/hal-01906781

L. Bass, P. Clements, and R. Kazman, Software Architecture in Practice, SEI Series in Software Engineering, 2013.

S. S. Bauer, A. David, R. Hennicker, K. G. Larsen, A. Legay et al., Moving from specifications to contracts in component-based design, FASE 2012, vol.7212, 2012.

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.

S. Bliudze and J. Sifakis, A notion of glue expressiveness for component-based systems, CONCUR, vol.5201, 2008.

B. Bloom, S. Istrail, and A. R. Meyer, Bisimulation can't be traced, Journal of the ACM, vol.42, issue.1, 1995.

E. Bruneton, T. Coupaye, M. Leclercq, V. Quema, and J. B. Stefani, The Fractal Component Model and its Support in Java. Software -Practice and Experience, vol.36, pp.11-12, 2006.

R. Bruni, U. Montanari, and M. Sammartino, Reconfigurable and software-defined networks of connectors and components, Software Engineering for Collective Autonomic Systems, vol.8998, 2015.

M. Bugliesi, G. Castagna, and S. Crafa, Access control for mobile agents: the calculus of boxed ambients, ACM. Trans. Prog. Languages and Systems, vol.26, issue.1, 2004.
URL : https://hal.archives-ouvertes.fr/hal-00152525

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

I. Castellani, Process algebras with localities. In Handbook of Process Algebra, 2001.

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

D. Clarke, J. Östlund, I. Sergey, and T. Wrigstad, Ownership types: A survey, Aliasing in Object-Oriented Programming. Types, Analysis and Verification, 2013.

B. Claudel, Q. Sabah, and J. B. Stefani, Simple isolation for an actor abstract machine, 35th IFIP Int. Conf. Formal Techniques for Distributed Objects, Components, and Systems (FORTE), vol.9039, 2015.
URL : https://hal.archives-ouvertes.fr/hal-01767336

I. Crnkovic, S. Sentilles, A. Vulgarakis, and M. R. Chaudron, A classification framework for software component models, IEEE Trans. Software Eng, vol.37, issue.5, 2011.

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, 2014.

J. Eker, J. W. Janneck, E. A. Lee, J. Liu, X. Liu et al., Taming heterogeneity -the Ptolemy approach, Proceedings of the IEEE, vol.91, issue.1, 2003.

G. L. Ferrari, D. Hirsch, I. Lanese, U. Montanari, and E. Tuosto, Synchronised hyperedge replacement as a model for service oriented computing, FMCO 2005, vol.4111, 2005.

J. L. Fiadeiro and A. Lopes, A model for dynamic reconfiguration in serviceoriented architectures, Software and System Modeling, vol.12, issue.2, 2013.

D. Garlan, R. T. Monroe, and D. Wile, Acme: Architectural Description of Component-Based Systems. In Foundations of Component-Based Systems, 2000.

M. Hennessy, J. Rathke, and N. Yoshida, Safedpi: a language for controlling mobile code, Acta Inf, vol.42, pp.4-5, 2005.

S. S. Jongmans and F. Arbab, Overview of thirty semantic formalisms for Reo, Sci. Ann. Comp. Sci, vol.22, issue.1, 2012.

G. Leavens and M. Sitaraman, Foundations of Component-Based Systems, 2000.

, Mathematical Frameworks for Component Software -Models for Analysis and Synthesis, 2006.

J. Magee and J. Kramer, Dynamic structure in software architectures, 4th ACM Symp. on Foundations of Software Engineering (FSE-4), 1995.

P. Merle and J. B. Stefani, A formal specification of the Fractal component model in Alloy, 2008.
URL : https://hal.archives-ouvertes.fr/inria-00338987

R. Milner, The Space and Motion of Communicating Agents, 2009.

R. De-nicola, G. L. Ferrari, and R. Pugliese, Klaim: a kernel language for agents interaction and mobility, IEEE Trans. on Software Engineering, vol.24, issue.5, 1998.

A. M. Pitts, Nominal Sets: Names and Symmetry in Computer Science, 2013.

J. Riely and M. Hennessy, A typed language for distributed mobile processes, 25th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL), 1998.

A. Sanchez, L. S. Barbosa, and D. Riesco, Bigraphical modelling of architectural patterns, FACS 2011, vol.7253, 2012.

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, vol.3267, 2005.

M. Sevegnani and M. Calder, Bigraphs with sharing. Theoretical Computer Science, vol.577, 2015.

J. B. Stefani, Components as location graphs, 11th FACS Conference, Revised Papers, vol.8997, 2015.
URL : https://hal.archives-ouvertes.fr/hal-01094208

I. Tutu and J. L. Fiadeiro, Service-oriented logic programming, Logical Methods in Computer Science, vol.11, issue.3, 2015.

R. J. Van-glabbeek, The meaning of negative premises in transition system specifications II, J. Log. Algebr. Program, pp.60-61, 2004.

J. Voigt, Access contracts: a dynamic approach to object-oriented access protection, 2016.

M. Wermelinger and J. L. Fiadeiro, A graph transformation approach to software architecture reconfiguration, Sci. Comput. Program, vol.44, issue.2, 2002.