R. Ameur-boulifa, L. Henrio, E. , and A. Savu, Behavioural semantics for asynchronous components, Journal of Logical and Algebraic Methods in Programming, vol.89, 2012.
DOI : 10.1016/j.jlamp.2017.02.003
URL : https://hal.archives-ouvertes.fr/hal-00761073

A. Basu, B. Bensalem, M. Bozga, J. Combaz, M. Jaber et al., Rigorous Component-Based System Design Using the BIP Framework, IEEE Software, vol.28, issue.3, pp.41-48, 2011.
DOI : 10.1109/MS.2011.27
URL : https://hal.archives-ouvertes.fr/hal-00722395

F. Baude, D. Caromel, C. Dalmasso, M. Danelutto, V. Getov et al., GCM: a grid extension to Fractal for autonomous distributed components, annals of telecommunications - annales des t??l??communications, vol.36, issue.1, pp.5-2410, 2009.
DOI : 10.1007/s12243-008-0068-8
URL : https://hal.archives-ouvertes.fr/inria-00323919

F. Baude and L. Henrio-&-cristian-ruz, Programming distributed and adaptable autonomous components-the GCM/ProActive framework. Software: Practice and Experience, 2014.
URL : https://hal.archives-ouvertes.fr/hal-01001043

S. Bensalem, M. Bozga, T. Nguyen, and &. J. Sifakis, Compositional verification for component-based systems and application, IET Software, vol.4, issue.3, 2010.
DOI : 10.1049/iet-sen.2009.0011
URL : https://hal.archives-ouvertes.fr/hal-00568866

J. Buisson, F. André, and J. L. Pazat, A framework for dynamic adaptation of parallel components, Parallel Computing: Current & Future Issues of High-End Computing International Conference ParCo, NIC Series 33, p.65, 2005.
URL : https://hal.archives-ouvertes.fr/hal-00498836

T. Bure?, P. Hnetynka, and &. F. Plasil, SOFA 2.0: Balancing Advanced Features in a Hierarchical Component Model, Proceedings of SERA 2006, pp.40-48, 2006.

H. Garavel, F. Lang, R. Mateescu, and &. W. Serve, CADP 2010: A Toolbox for the Construction and Analysis of Distributed Processes, LNCS, vol.56, issue.3, 2011.
DOI : 10.1007/BFb0054166
URL : https://hal.archives-ouvertes.fr/inria-00583776

N. Gaspar, L. Henrio, and &. Madelaine, Bringing Coq into the World of GCM Distributed Applications, International Symposium on High-level Parallel Programming and Applications&, HLPP, 2013.
DOI : 10.1007/s10766-013-0264-7
URL : https://hal.archives-ouvertes.fr/hal-00880533

L. Henrio, F. Kammüller, &. Muhammad-uzair, and . Khan, A Framework for Reasoning on Component Composition, Lecture Notes in Computer Science, vol.96, issue.1, 2009.
DOI : 10.1007/3-540-45949-9
URL : https://hal.archives-ouvertes.fr/inria-00490380

P. Hn?tynka and &. , Dynamic Reconfiguration and Access to Services in Hierarchical Component Models, Proceedings of the 9th international conference on Component-Based Software Engineering, CBSE'06, pp.352-359, 2006.
DOI : 10.1007/11783565_27

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

P. Naoumenko, Designing Non-functional Aspects With Components, 2010.

L. Seinturier, N. Pessemier, L. Duchien, and &. Thierry-coupaye, A Component Model Engineered with Components and Aspects, Proceedings of the 9th International SIGSOFT Symposium on Component-Based Software Engineering, 2006.
DOI : 10.1007/11783565_10
URL : https://hal.archives-ouvertes.fr/inria-00126350