T. Barros, R. Boulifa, and E. Madelaine, Parameterized Models for Distributed Java Objects, LNCS, vol.3235, 2004.
DOI : 10.1007/978-3-540-30232-2_4
URL : https://hal.archives-ouvertes.fr/inria-00087222

T. Barros, L. Henrio, and E. Madelaine, Behavioural Models for Hierarchical Components, SPIN'05 Workshop
DOI : 10.1007/11537328_14
URL : https://hal.archives-ouvertes.fr/inria-00122933

F. Baude, D. Caromel, and M. Morel, From Distributed Objects to Hierarchical Grid Components, International Symposium on Distributed Objects and Applications (DOA), 2003.
DOI : 10.1007/978-3-540-39964-3_78

E. Bruneton, T. Coupaye, and J. Stefani, Recursive and dynamic software composition with sharing, 7th ECOOP Int. Workshop on Component-Oriented Programming (WCOP'02), 2002.

A. Fantechi, C. Carrez, and E. Najm, Behavioural contracts for a sound assembly of components, in proceedings of FORTE'03, volume LNCS 2767, 2003.

D. Caromel, L. Henrio, and B. Serpette, Asynchronous and deterministic objects, 31st ACM Symp. on Principles of Programming Languages, 2004.
DOI : 10.1145/964001.964012
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.2.9095

D. Caromel, W. Klauser, and J. Vayssì-ere, Towards seamless computing and metacomputing in Java, Concurrency Practice and Experience, vol.10, pp.11-13, 1998.

R. Cleaveland and J. Riely, Testing-based abstractions for value-passing systems, CONCUR'94, 1994.
DOI : 10.1007/978-3-540-48654-1_31
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.36.7439

H. Garavel, F. Lang, and R. Mateescu, An overview of CADP 2001. European Association for Software Science and Technology Newsletter, pp.13-24, 2002.
URL : https://hal.archives-ouvertes.fr/inria-00069920

R. Mateescu and M. Sighireanu, Efficient on-the-fly model-checking for regular alternation-free mu-calculus, Proceedings of FMICS'2000, GMD Report 91, pp.65-86, 2000.
DOI : 10.1016/S0167-6423(02)00094-1
URL : https://hal.archives-ouvertes.fr/inria-00072755

F. Plasil and S. Visnovsky, Behavior protocols for software components, IEEE Transactions on Software Engineering, vol.28, issue.11, 2002.
DOI : 10.1109/TSE.2002.1049404