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=10.1.1.28.6094

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=10.1.1.125.6980

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=10.1.1.19.3727

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.