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
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
Software Architecture in Practice, SEI Series in Software Engineering, 2013. ,
Moving from specifications to contracts in component-based design, FASE 2012, vol.7212, 2012. ,
Psi-calculi: a framework for mobile processes with nominal data and logic, Logical Methods in Computer Science, vol.7, issue.1, 2011. ,
A notion of glue expressiveness for component-based systems, CONCUR, vol.5201, 2008. ,
Bisimulation can't be traced, Journal of the ACM, vol.42, issue.1, 1995. ,
The Fractal Component Model and its Support in Java. Software -Practice and Experience, vol.36, pp.11-12, 2006. ,
Reconfigurable and software-defined networks of connectors and components, Software Engineering for Collective Autonomic Systems, vol.8998, 2015. ,
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
, Mobile Ambients. Theoretical Computer Science, vol.240, issue.1, 2000.
Process algebras with localities. In Handbook of Process Algebra, 2001. ,
Models for name-passing processes: interleaving and causal. Information and Computation, vol.190, 2004. ,
Ownership types: A survey, Aliasing in Object-Oriented Programming. Types, Analysis and Verification, 2013. ,
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
A classification framework for software component models, IEEE Trans. Software Eng, vol.37, issue.5, 2011. ,
A formal approach to autonomic systems programming: The SCEL language, ACM Trans. on Autonomous and Adaptive Systems, vol.9, issue.2, 2014. ,
Taming heterogeneity -the Ptolemy approach, Proceedings of the IEEE, vol.91, issue.1, 2003. ,
Synchronised hyperedge replacement as a model for service oriented computing, FMCO 2005, vol.4111, 2005. ,
A model for dynamic reconfiguration in serviceoriented architectures, Software and System Modeling, vol.12, issue.2, 2013. ,
Acme: Architectural Description of Component-Based Systems. In Foundations of Component-Based Systems, 2000. ,
Safedpi: a language for controlling mobile code, Acta Inf, vol.42, pp.4-5, 2005. ,
Overview of thirty semantic formalisms for Reo, Sci. Ann. Comp. Sci, vol.22, issue.1, 2012. ,
, Foundations of Component-Based Systems, 2000.
, Mathematical Frameworks for Component Software -Models for Analysis and Synthesis, 2006.
Dynamic structure in software architectures, 4th ACM Symp. on Foundations of Software Engineering (FSE-4), 1995. ,
A formal specification of the Fractal component model in Alloy, 2008. ,
URL : https://hal.archives-ouvertes.fr/inria-00338987
The Space and Motion of Communicating Agents, 2009. ,
Klaim: a kernel language for agents interaction and mobility, IEEE Trans. on Software Engineering, vol.24, issue.5, 1998. ,
, Nominal Sets: Names and Symmetry in Computer Science, 2013.
A typed language for distributed mobile processes, 25th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL), 1998. ,
Bigraphical modelling of architectural patterns, FACS 2011, vol.7253, 2012. ,
The ?-calculus: A Theory of Mobile Processes, 2001. ,
The Kell Calculus: A Family of Higher-Order Distributed Process Calculi, Global Computing, vol.3267, 2005. ,
, Bigraphs with sharing. Theoretical Computer Science, vol.577, 2015.
Components as location graphs, 11th FACS Conference, Revised Papers, vol.8997, 2015. ,
URL : https://hal.archives-ouvertes.fr/hal-01094208
Service-oriented logic programming, Logical Methods in Computer Science, vol.11, issue.3, 2015. ,
The meaning of negative premises in transition system specifications II, J. Log. Algebr. Program, pp.60-61, 2004. ,
Access contracts: a dynamic approach to object-oriented access protection, 2016. ,
A graph transformation approach to software architecture reconfiguration, Sci. Comput. Program, vol.44, issue.2, 2002. ,