L. Bellissard, S. B. Atallah, F. Boyer, and M. , Distributed application configuration, Proceedings of 16th International Conference on Distributed Computing Systems, pp.579-585, 1996.
DOI : 10.1109/ICDCS.1996.508008

URL : https://hal.archives-ouvertes.fr/inria-00073571

I. Satoh and M. Tokoro, A Timed Calculus for Distributed Objects with Clocks, Proceedings of the 7th European Conference on Object Oriented Programming, pp.326-345, 1993.
DOI : 10.1007/3-540-47910-4_17

I. Satoh and M. Tokoro, A Formalism for Distributed Real-Time Processes with Temporal Uncertainties, Proceedings of OOPSLA'92, ACM, pp.315-326, 1994.

M. Daniel, R. E. Yellin, and . Strom, Interfaces, Protocols, and the Semi-Automatic Construction of Software Adaptors, Proceedings of OOPSLA'94, pp.176-190, 1994.

O. Nierstrasz, Towards an object calculus, Proceedings of ECOOP'91 Workshop on Object-Based Concurrent Computing -Geneva, pp.1-20, 1991.
DOI : 10.1007/3-540-55613-3_1

URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=

C. A. Hoare, Communicating Sequential Processes, Communications of ACM, vol.21, issue.8, 1978.

R. Allen and D. Garlan, Formal Connectors, p.15213, 1994.

J. Magee, S. Eisenbach, and J. Kramer, Modelling Darwin in the -calculus " , Theory & Practice in Distributed systems, Lecture Notes in computer Sciences, vol.938, 1994.

R. Milner, Operational and Algebraic Semantics of Concurrent Processes, Handbook of Theoretical Computer Science, vol.2, p.19, 1990.
DOI : 10.1016/B978-0-444-88074-1.50024-X

R. Milner, J. Parrow, and D. Walker, A Calculus of Mobile Processes (Part 1 & 2), 1989.

R. Milner, J. Parrow, and D. Walker, Modal Logics for Mobile Processes, 1991.
DOI : 10.1007/3-540-54430-5_80

URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=

D. Remer, F. Kron, and H. , Programming-in-the-large versus Programming-in-the-small, IEEE Transactions on Software Engineering, vol.2, issue.2, pp.80-87, 1976.

J. M. Purtilo, The POLYLITH software bus, ACM Transactions on Programming Languages and Systems, vol.16, issue.1, pp.151-174, 1994.
DOI : 10.1145/174625.174629

M. Object and . Group, The Common Object Request Broker: Architecture and Specification, 1995.

S. S. Lam and A. Shankar, A theory of interfaces and modules I-composition theorem, IEEE Transactions on Software Engineering, vol.20, issue.1, 1994.
DOI : 10.1109/32.263755

L. Bellissard, B. Atallah, S. Kerbrat, and A. , Comonent-based Programming and Application Management with Olan " , Object-Based Parallel and Distributed Computation France-Japan Workshop, OBPDC'95, LNCS, vol.1107, 1996.
DOI : 10.1007/3-540-61487-7_34

URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=

J. Magee, N. Dulay, and J. Kramer, A constructive development environment for parallel and distributed programs, Proceedings of 2nd International Workshop on Configurable Distributed Systems, 1994.
DOI : 10.1109/IWCDS.1994.289940

I. Unité-de-recherche, . Lorraine, V. Technopôle-de-nancy-brabois, I. Unité-de-recherche, and . Rennes, Campus scientifique, 615 rue du Jardin Botanique Irisa, Campus universitaire de Beaulieu, 35042 RENNES Cedex Unité de recherche INRIA Rhône-Alpes, p.78153, 2004.