J. Aldrich, C. Chambers, and D. Notkin, Architectural Reasoning in ArchJava, Proceedings 16th European Conf. on Object-Oriented Programming, 2002.
DOI : 10.1007/3-540-47993-7_15

R. Allen and D. Garlan, A formal basis for architectural connection, ACM Transactions on Software Engineering and Methodology, vol.6, issue.3, 1997.
DOI : 10.1145/258077.258078
URL : https://hal.archives-ouvertes.fr/hal-00444067

T. Barros, A. Cansado, E. Madelaine, and M. Rivera, Model-checking Distributed Components: The Vercors Platform, Electronic Notes in Theoretical Computer Science, vol.182, 2007.
DOI : 10.1016/j.entcs.2006.09.028
URL : https://hal.archives-ouvertes.fr/inria-00091569

S. Bensalem, M. Bozga, J. Sifakis, and T. H. Nguyen, Compositional Verification for Component-Based Systems and Application, ATVA, 2008.
URL : https://hal.archives-ouvertes.fr/hal-00568866

N. T. Bhatti, M. A. Hiltunen, R. D. Schlichting, and W. Chiu, Coyote: a system for constructing fine-grain configurable communication services, ACM Transactions on Computer Systems, vol.16, issue.4, 1998.
DOI : 10.1145/292523.292524

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, pp.11-12, 2006.

L. Cardelli, Types for mobile ambients, Proceedings of the 26th ACM SIGPLAN-SIGACT symposium on Principles of programming languages , POPL '99, 1999.
DOI : 10.1145/292540.292550

C. Carrez, A. Fantechi, and E. Najm, Behaviour contracts for a sound assembly of components, LNCS, vol.2767, 2003.

F. Pottier, A constraint-based presentation and generalization of rows, 18th Annual IEEE Symposium of Logic in Computer Science, 2003. Proceedings., 2003.
DOI : 10.1109/LICS.2003.1210073

S. Conchon and F. Pottier, JOIN(X): Constraint-Based Type Inference for the Join-Calculus, 10th European Symp. on Programming (ESOP), 2001.
DOI : 10.1007/3-540-45309-1_15
URL : https://hal.archives-ouvertes.fr/inria-00000029

M. Fahndrich, M. Aiken, C. Hawblitzel, O. Hodson, G. Hunt et al., Language Support for Fast and Reliable Message-based Communication in Singularity OS, 1st EuroSys Conference, 2006.

F. Henglein, Type inference with polymorphic recursion, ACM Transactions on Programming Languages and Systems, vol.15, issue.2, pp.253-289, 1993.
DOI : 10.1145/169701.169692
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.388.430

J. and R. Hindley, Basic simple type theory, 1997.
DOI : 10.1017/CBO9780511608865
URL : http://dx.doi.org/10.1016/s0898-1221(97)80228-3

K. Honda, N. Yoshida, and M. Carbone, Multiparty asynchronous session types, 35th ACM Symposium on Principles of Programming Languages, 2008.
DOI : 10.1145/1328438.1328472
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.128.7594

V. Issarny, C. Bidan, and T. Saridakis, Achieving middleware customization in a configuration-based development environment: experience with the Aster prototype, Proceedings. Fourth International Conference on Configurable Distributed Systems (Cat. No.98EX159), 1998.
DOI : 10.1109/CDS.1998.675775

A. Joolia, T. Batista, G. Coulson, and A. Gomes, Mapping ADL Specifications to an Efficient and Reconfigurable Runtime Component Platform, 5th Working IEEE/IFIP Conference on Software Architecture (WICSA'05), 2005.
DOI : 10.1109/WICSA.2005.42

E. Kohler, R. Morris, and B. Chen, Programming language optimizations for modular router configurations, ASPLOS, 2002.

E. Kohler, R. Morris, B. Chen, J. Jannotti, and M. F. Kaashoek, The click modular router, ACM Transactions on Computer Systems, vol.18, issue.3, 2000.
DOI : 10.1145/354871.354874

M. Leclercq, A. E. Ozcan, V. Quema, and J. B. Stefani, Supporting Heterogeneous Architecture Descriptions in an Extensible Toolset, 29th International Conference on Software Engineering (ICSE'07), 2007.
DOI : 10.1109/ICSE.2007.82

M. Leclercq, V. Quema, and J. B. Stefani, DREAM, Proceedings of the 3rd workshop on Adaptive and reflective middleware -, 2005.
DOI : 10.1145/1028613.1028625
URL : https://hal.archives-ouvertes.fr/hal-00881539

C. Lhoussaine, Type inference for a distributed ?-calculus, Sci. Comput. Program, vol.50, issue.1-3, 2004.

M. Lienhardt, C. A. Mezzina, A. Schmitt, and J. B. Stefani, Typing communicating component assemblages v2, 2008.

M. Lienhardt, A. Schmitt, and J. B. Stefani, Typing communicating component assemblages, Proceedings of the 7th international conference on Generative programming and component engineering, GPCE '08, 2008.
DOI : 10.1145/1449913.1449933
URL : https://hal.archives-ouvertes.fr/inria-00492749

X. Liu, C. Kreitz, R. Van-renesse, J. Hickey, M. Hayden et al., Building Reliable, High-Performance Communication Systems from Components, ACM Symposium on Operating Systems Principles, 1999.

S. Maffeis, Sequence types for the pi-calculus, ITRS'04, pp.117-132, 2005.

H. Makholm and J. B. Wells, Instant Polymorphic Type Systems for Mobile Process Calculi: Just Add Reduction Rules and Close, 14th European Symposium on Programming, 2005.
DOI : 10.1007/978-3-540-31987-0_27

H. Miranda, A. S. Pinto, and L. Rodrigues, Appia, a flexible protocol kernel supporting multiple coordinated channels, Proceedings 21st International Conference on Distributed Computing Systems, 2001.
DOI : 10.1109/ICDSC.2001.919005

J. Palsberg, M. Wand, and P. Keefe, Type Inference with Nonstructural Subtyping, BRICS Report Series, vol.2, issue.33, pp.49-67, 1997.
DOI : 10.7146/brics.v2i33.19936

B. Pierce and D. Turner, Pict: A programming language based on the pi-calculus

A. Reid, M. Flatt, L. Stoller, J. Lepreau, and E. Eide, Knit: Component Composition for Systems Software, 2000.

D. Rémy, Type inference for records in a natural extension of ML, Theoretical Aspects Of Object-Oriented Programming. Types, Semantics and Language Design, 1993.

V. Simonet and F. Pottier, A constraint-based approach to guarded algebraic data types, ACM Transactions on Programming Languages and Systems, vol.29, issue.1, 2007.
DOI : 10.1145/1180475.1180476

C. Szyperski, Component Software, 2002.

S. Weirich, Higher-Order Intensional Type Analysis, 11th European Symposium on Programming Languages and Systems, 2002.
DOI : 10.1007/3-540-45927-8_8

N. Yoshida and M. Hennessy, Assigning types to processes, 15th Annual IEEE Symposium on Logic in Computer Science (LICS), 2000.

N. Yoshida and M. Hennessy, Assigning types to processes, Inf. Comput, vol.174, issue.2, 2002.

N. Yoshida and V. Vasconcelos, Language Primitives and Type Discipline for Structured Communication-Based Programming Revisited: Two Systems for Higher-Order Session Communication, Electronic Notes in Theoretical Computer Science, vol.171, issue.4, 2007.
DOI : 10.1016/j.entcs.2007.02.056