A. Arnold, Finite Transition Systems. International Series in Computer Science, 1994.

B. Berthomieu, P. Ribet, and F. Vernadat, The tool TINA ??? Construction of abstract state spaces for petri nets and time petri nets, International Journal of Production Research, vol.99, issue.14, p.42, 2004.
DOI : 10.1137/0216062

A. Bracciali, A. Brogi, and C. Canal, A formal approach to component adaptation, Journal of Systems and Software, vol.74, issue.1, pp.45-54, 2005.
DOI : 10.1016/j.jss.2003.05.007

A. Brogi, C. Canal, and E. Pimentel, Component adaptation through flexible subservicing, Science of Computer Programming, vol.63, issue.1, 2006.
DOI : 10.1016/j.scico.2005.07.012

C. Canal, J. M. Murillo, and P. Poizat, Software Adaptation. L'Objet. Special Issue on Software Adaptation, pp.9-31, 2006.
DOI : 10.3166/objet.12.1.9-31
URL : https://hal.archives-ouvertes.fr/hal-00342014

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

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, M. Tivoli, and C. Applications, Deadlock-free software architectures for COM/DCOM Applications, Proc. of IFM'05, pp.173-183, 2003.
DOI : 10.1016/S0164-1212(02)00037-7

P. K. Mckinley, S. M. Sadjadi, E. P. Kasten, and B. H. Cheng, Composing adaptive software, Computer, vol.37, issue.7, pp.56-64, 2004.
DOI : 10.1109/MC.2004.48

H. W. Schmidt and R. H. Reussner, Generating Adapters for Concurrent Component Protocol Synchronization, Proc. of FMOODS'02, pp.213-229, 2002.

B. Spitznagel and D. Garlan, A compositional formalization of connector wrappers, 25th International Conference on Software Engineering, 2003. Proceedings., pp.374-384, 2003.
DOI : 10.1109/ICSE.2003.1201216

M. Tivoli and M. Autili, SYNTHESIS, a Tool for Synthesizing Correct and Protocol-Enhanced Adaptors, L'objet, vol.12, issue.1, pp.77-103, 2006.
DOI : 10.3166/objet.12.1.77-103

D. M. Yellin and R. E. 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