The Esterel Language

Proceedings of the IEEE

Volumn 79, Issue 9, 1991, Pages 1293-1304

  Boussinot, Frederic ^a   De Simone, Robert ^b  

^a PSL RESEARCH UNIVERSITY   (France)

^b INRIA   (France)

Author keywords

[No Author keywords available]

Indexed keywords

AUTOMATA THEORY - FINITE AUTOMATA; COMPUTER METATHEORY - BOOLEAN ALGEBRA; COMPUTER PERIPHERAL EQUIPMENT - MOUSE; COMPUTER SYSTEMS, DIGITAL - PARALLEL PROCESSING; COMPUTER SYSTEMS, DIGITAL - REAL TIME OPERATION;

ESTEREL FORMAL SEMANTICS; ESTEREL LANGUAGE; FINITE STATE SEQUENTIAL MACHINES; REACTIVE SYSTEMS; SYNCHRONOUS PARALLEL SYSTEMS;

COMPUTER PROGRAMMING LANGUAGES;

EID: 0026220920     PISSN: 00189219     EISSN: 15582256     Source Type: Journal    
DOI: 10.1109/5.97299     Document Type: Article

References (25)

1. C. Andre, L. Fancelli, “A mixed implementation of a real-time system,” presented at Euromicro’90, Amsterdam, The Netherlands, 1990.
2. G. Berry, Programming a Digital Watch in esterelv3, esterelv3 Programming Examples, Ecole des Mines, Centre de Mathematiques Appliquees, Sophia-Antipolis, 1989.
3. G. Berry, Real time programming: special purpose or general purpose languages, Information Processing 89, G.X. Ritter (Ed.), Elsevier Science Publishers B.V. (North Holland), 1989.
4. G. Berry and G. Gonthier, “The esterel synchronous programming language: Design semantics, implementation,” INRIA Rep. 842, to appear in Science of Computer Programming, 1988.
5. G. Berry and G. Gonthier, Incremental Development of an HDLC Protocol in esterelv3, Esterelv3 Programming Examples, Ecole des Mines, Centre de Mathematiques Appliquees, Sophia-Antipolis, 1989.
6. G. Boudol, V. Roy, R. de Simone, and D. Vergamini, “Process algebras and systems of communicating processes,” in Proc. of the Automatic Verification Methods for Finite State Systems, LNCS 407, Springer-Verlag, 1990.
7. P. Couronne, J. Plaice, and J-B. Saint, “The Esterel—Lustre Oc Portable Format,” Tech. Rep., Ecole des Mines / INRIA, Sophia-Antipolis, 1988.
8. E. M. Clarke, D. E. Long, and K. L. McMillan, A Language for Compositional Specification and Verification of Finite State Hardware Controllers, this volume.
9. B. Espiau and E. Coste-Maniere, “A synchronous approach for control sequencing in robotics application,” in Proc. IEEE Int. Workshop on Intelligent Motion Control, Istanbul, Turkey, 1990.
10. esterelv3 manuals, Ecole des Mines, Centre de Mathematiques Appliquees, Sophia-Antipolis, 1988.
11. G. M. Gherardi and J. P. Paris, “Manuel d’utilisation de Sahara,” Internal Rep., ENSMP-CMA, 1990.
12. G. Gonthier, “Semantiques et Modeles d’Execution des Langages Reactifs Synchrones; Application a esterel,” These de Doctorat en Informatique, Univ. d’Orsay, 1988.
13. N. Halbwachs, P. Caspi, P. Raymond, and D. Pilaud, “The synchronous dataflow programming language lustre, this volume.”
14. D. Harel, statecharts: A Visual Approach to Complex Systems, Science of Computer programming, 8–3, pp. 231–275, 1987.
15. D. Harel and A. Pnueli, On the Development of Reactive Systems, Logic and Models of Concurrent Systems, Springer-Verlag, pp. 477–498 1985.
16. V. Lecompte and F. Boussinot, “Une application de la programmation synchrone: le modem du minitel en esterel,” rapport C2A, 3, 1989.
17. P. Le Guernic, T. Gautier, M. Le Borgne, and C. Le Maire, Programming Real Time Applications with signal this volume.
18. M. C. Mejia Olvera, Contribution a la Conception d’un Reseau Local Temps Reel pour la Robotique, These de Docteur-Ingenieur, Universite de Rennes, 1989.
19. R. Milner, A Calculus of Communicating Systems, LNCS 92, Springer-Verlag, 1980.
20. G. Murakami and R. Sethi, “Terminal call processing in esterel,” Res. Rep. 150, AT&T Bell Labs., 1990.
21. J. P. Paris, “Communications synchrones asynchrones,” Application a esterel. thesis, to appear in 1991.
22. G. D. Plotkin, “A structural approach to operational semantics,” Lectures Notes, Aarhus Univ., 1981.
23. V. Roy, “AUTOGRAPH, Un Outil de Visualisation pour les Calculs de Processus,” These de Doctorat en Informatique, Universite de Nice, 1990.
24. B. Stroustrup, The C++ Programming Language. Reading, MA: Addison-Wesley, 1986.
25. D. Vergamini, “Verification by means of observational equivalence on automata,” INRIA Rep. 501, 1986.