M. Abadi and L. Cardelli, A Theory of Objects, 1996.
DOI : 10.1007/978-1-4419-8598-9

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

M. Astley and G. A. Agha, Customization and composition of distributed objects: Middleware abstractions for policy management, Proceedings of the ACM SIGSOFT 6th International Symposium on Foundations of Software Engineering (FSE), 1998.

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

P. Bidinger and J. Stefani, The Kell Calculus: Operational Semantics and Type System, Proceedings 6th IFIP International Conference on Formal Methods for Open Object-based Distributed Systems (FMOODS 03), 2003.
DOI : 10.1007/3-540-47959-7_3

E. Bruneton, T. Coupaye, M. Leclerc, V. Quema, and J. Stefani, An Open Component Model and Its Support in Java, Lecture Notes in Computer Science, vol.3054, 2004.
DOI : 10.1007/978-3-540-24774-6_3

L. Cardelli and A. D. Gordon, Mobile ambients, An extended abstract appeared in Proceedings of FoSSaCS '98, pp.177-213, 2000.
DOI : 10.1016/S0304-3975(99)00231-5

D. Caromel and L. Henrio, A Theory of Distributed Objects, 2005.

D. Caromel, L. Henrio, and B. P. Serpette, Asynchronous and deterministic objects, Proceedings of the 31st ACM SIGACT-SIGPLAN symposium on Principles of programming languages, pp.123-134, 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. Ere, Towards seamless computing and metacomputing in Java. Concurrency: Practice and Experience, pp.11-131043, 1998.

E. Bruneton, T. Coupaye, and S. J. , Recursive and dynamic software composition with sharing, Proceedings of the 7th ECOOP International Workshop on Component-Oriented Programming, 2002.

C. Flanagan and M. Felleisen, The semantics of future and an application, Journal of Functional Programming, vol.9, issue.1, pp.1-31, 1999.
DOI : 10.1017/S0956796899003329

D. Giannakopoulou, J. Kramer, and S. C. Cheung, Behaviour analysis of distributed systems using the tracta approach, Automated Software Engg, vol.6, issue.1, 1999.

A. D. Gordon, P. D. Hankin, and S. B. Lassen, Compilation and equivalence of imperative objects, FSTTCS: Foundations of Software Technology and Theoretical Computer Science, vol.17, pp.74-87, 1997.

R. H. Halstead and J. , MULTILISP: a language for concurrent symbolic computation, ACM Transactions on Programming Languages and Systems, vol.7, issue.4, pp.501-538, 1985.
DOI : 10.1145/4472.4478
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.97.1841

G. Kahn, The semantics of a simple language for parallel programming

U. Nestmann and M. Steffen, Typing confluence Also available as report ERCIM-10, Proceedings of FMICS'97 Consiglio Nazionale Ricerche di Pisa European Research Consortium for Informatics and Mathematics, pp.77-10197, 1997.

A. Schmitt and J. Stefani, The Kell Calculus: A Family of Higher-Order Distributed Process Calculi, Lecture Notes in Computer Science, vol.3267, 2005.
DOI : 10.1007/3-540-45694-5_19