N. Aguirre and T. Maibaum, A Logical Basis for the Specification of Reconfigurable Component-Based Systems, Proc. of FASE'03, pp.37-51, 2003.
DOI : 10.1007/3-540-36578-8_4

F. Arbab, F. S. De-boer, M. M. Bonsangue, and J. V. Guillen-scholten, A Channelbased Coordination Model for Components, Proc. of FOCLASA'02, 2002.

M. Autili, P. Inverardi, M. Tivoli, and D. Garlan, Synthesis of " Correct Adaptors for Protocol Enhancement in Component-based Systems, Proc. of Specification and Verification of Component-Based Systems, 2004.

S. Becker, C. Canal, J. M. Murillo, P. Poizat, and M. Tivoli, Coordination and Adaptation Techniques for Software Entities, ECOOP 2005 Workshop Reader, 2005.
URL : https://hal.archives-ouvertes.fr/hal-00343094

D. Bergamini, N. Descoubes, C. Joubert, and R. Mateescu, BISIMULATOR: A Modular Tool for On-the-Fly Equivalence Checking, Proc. of TACAS'05, pp.581-585, 2005.
DOI : 10.1007/978-3-540-31980-1_42
URL : https://hal.archives-ouvertes.fr/hal-00685325

D. Beyer, A. Chakrabarti, and T. A. Henzinger, Web service interfaces, Proceedings of the 14th international conference on World Wide Web , WWW '05, 2005.
DOI : 10.1145/1060745.1060770

C. Canal, P. Poizat, and G. Salaün, Synchronizing Behavioural Mismatch in Software Composition, Proc. of FMOODS'06, 2006.
DOI : 10.1145/244795.244801
URL : https://hal.archives-ouvertes.fr/hal-00342017

D. Caromel, W. Klauser, and J. Vayssì-ere, Towards Seamless Computing and Metacomputing in Java. Concurrency -Practice and Experience, pp.11-131043, 1998.

L. De-alfaro and T. A. Henzinger, Interface Automata, Proc. of ESEC/FSE'01, pp.109-120, 2001.

H. Garavel, F. Lang, and R. Mateescu, An Overview of CADP, EASST Newsletter, vol.4, pp.13-24, 2001.
URL : https://hal.archives-ouvertes.fr/inria-00069920

P. Inverardi and M. Tivoli, Deadlock-free software architectures for COM/DCOM Applications, Journal of Systems and Software, vol.65, issue.3, pp.173-183, 2003.
DOI : 10.1016/S0164-1212(02)00037-7

V. Issarny and J. Banatre, Architecture-based exception handling, Proceedings of the 34th Annual Hawaii International Conference on System Sciences, 2001.
DOI : 10.1109/HICSS.2001.927253

A. Ketfi and N. Belkhatir, A Metamodel-Based Approach for the Dynamic Reconfiguration of Component-Based Software, Proc. of ICSR'04, pp.264-273, 2004.
DOI : 10.1007/978-3-540-27799-6_22

J. Kramer and J. Magee, The evolving philosophers problem: dynamic change management, IEEE Transactions on Software Engineering, vol.16, issue.11, pp.1293-1306, 1990.
DOI : 10.1109/32.60317

J. Kramer and J. Magee, Analysing dynamic change in distributed software architectures, IEE Proceedings - Software, vol.145, issue.5, pp.146-154, 1998.
DOI : 10.1049/ip-sen:19982297

J. Matevska-meyer, W. Hasselbring, and R. Reussner, Software Architecture Description Supporting Component Deployment and System Runtime Reconfiguration, Proc. of WCOP'04, 2004.

N. Medvidovic, ADLs and dynamic architecture changes, Joint proceedings of the second international software architecture workshop (ISAW-2) and international workshop on multiple perspectives in software development (Viewpoints '96) on SIGSOFT '96 workshops -, pp.24-27, 1996.
DOI : 10.1145/243327.243340

S. Moschoyiannis, M. W. Shields, and P. J. Krause, Modelling Component Behaviour with Concurrent Automata, Proc. of FESCA'05, pp.199-220, 2005.
DOI : 10.1016/j.entcs.2005.04.035

C. M. Rubira, R. De-lemos, G. R. Ferreira, and F. C. Filho, Exception handling in the development of dependable component-based systems, Software: Practice and Experience, vol.22, issue.3, pp.195-236, 2005.
DOI : 10.1002/spe.632

M. Wermelinger, A. Lopes, and J. L. Fiadeiro, A Graph Based Architectural (Re)configuration Language, Proc. of ESEC / SIGSOFT FSE 2001, pp.21-32, 2001.

D. Yellin and R. Strom, Protocol specifications and component adaptors, ACM Transactions on Programming Languages and Systems, vol.19, issue.2, pp.292-333, 1997.
DOI : 10.1145/244795.244801