B. G. Berry and G. Gonthier, The Esterel Synchronous Language: Design, Semantics, Implementation, Science of Computer Programming, vol.19, issue.2, 1992.
DOI : 10.1016/0167-6423(92)90005-v

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

. F. Ba, M. Boniol, and . Adelantado, Programming distributed reactive systems: a strong and weak synchronous coupling, 7th International Workshop on Distributed Algorithms WDAG' 93, 1993.

]. F. Bo and . Boussinot, Reactive-C: An extension of C to program reactive systems, Software Practice and Experience, pp.401-428, 1991.

. F. Bs, J. Boussinot, and . Susini, The SugarCubes Tool Box -Definition, Inria Research Report, vol.3247, 1997.

. J. Gjs, B. Gosling, G. Joy, and . Steele, The Java Language Specification, 1996.

. N. Hcpr, P. Halbwachs, P. Caspi, . Raymond, and . Ch, The Synchronous Dataflow Programming Language Lustre, Proc. IEEE, p.79, 1991.

. D. Hp, A. Harel, and . Pnueli, On the Development of Reactive Systems, NATO ASI Series F, vol.13, 1985.

]. F. Ma and . Mattern, Algorithms for distributed termination detection, Distributed Computing, pp.161-175, 1987.

[. Java, Remote Method Invocation Specification-JDK1.1, 1997. The site for RMI is at http

]. St and . Stefani, Computational aspects of QoS in an object based distributed system architecture, 3rd International Workshop on Responsive Computer Systems, 1993.

. Unité-de-recherche-inria-sophia and . Antipolis, 93 -06902 Sophia Antipolis Cedex (France) Unité de recherche INRIA Lorraine : Technopôle de Nancy-Brabois -Campus scientifique 615, rue du Jardin Botanique -B.P. 101 -54602 Villers lès Nancy Cedex (France) Unité de recherche INRIA Rennes : IRISA, Campus universitaire de Beaulieu -35042 Rennes Cedex (France) Unité de recherche INRIA Rhône-Alpes : 655, avenue de l'Europe -38330, France) Unité de recherche INRIA Rocquencourt : Domaine de Voluceau -Rocquencourt -B.P. 105 -78153 Le Chesnay Cedex, 2004.