Free Access
Issue
RAIRO-Theor. Inf. Appl.
Volume 29, Number 4, 1995
Page(s) 315 - 338
DOI https://doi.org/10.1051/ita/1995290403151
Published online 01 February 2017
  1. [Ar] A. ARNOLD, MEC:A system for constructing and analysing transition systems, LABRI, Université de Bordeaux-1, 1988.
  2. [BC] G. BERRY et L. COSSERAT, The ESTEREL Synchronous Programming Language and its Mathematical Semantics, Seminar on Concurrency, S. BROOKES and G. WINSKEL eds., Springer-Verlag, Lecture Notes in Computer Science, 1985, n° 197, p. 389-448. [Zbl: 0599.68023]
  3. [BCo] G. BERRY, P. COURONNE et G. GONTHIER, Synchronous Programming of reactive systems: an introduction to ESTEREL, Rapport INRIA n° 646, 1986.
  4. [CH] R. H. CAMPBELL et N. HABERMAN, The specification of process synchronization by path expressions, Lecture Notes in Computer Science, 1973, n°16, p. 89-102. [Zbl: 0295.68028]
  5. [CL] D. CREUSOT, LEMOINE, ROUX et TRINQUET, Un environnement d'exécution pour Electre, contrat n° STR ELE1, janvier 1991.
  6. [CP] P. CASPI, D. PILAUD, N. HALBWACHS et J. A. PLAICE, LUSTRE: a declarative language for programming synchronous systems, 14th ACM Symposium on principles of programming languages, Munich 1987.
  7. [CPe] D. CREUSOT et J. PERRAUD, Grammaire et analyse syntaxique du langage Electre, Rapport de contrat VEH-ELE-D2, Convention Renault, 1988.
  8. [CR] F. CASSEZ et O. ROUX, Compilation du langage Electre, Rapport interne n° 91-11, LAN, École Centrale de Nantes.
  9. [ER] J.-P. ELLOY et O. ROUX, Electre; a Language for Control Structuring in Real Time, The Computer Journal, 1985, 28, n° 5, p. 229-234.
  10. [GB] P. LE GUERNIC, A. BENVENISTE, P. BOURNAI et T. GAUTIER, SIGNAL: a data-flow oriented language for signal processing, IEEE Trans. on ASSP, ASSP-34, 1986, 2, p. 362-374. [Zbl: 0601.68028]
  11. [Hu] M. HUOU, Contribution à la sémantique du langage Electre, Thèse de Doctorat de l'Université de Nantes et de l'École Centrale de Nantes, 1991.
  12. [Hu2] M. HUOU, Une sémantique étendue du langage Electre, Rapport interne n° 92-17, LAN, École Centrale de Nantes, 1992.
  13. [Kn] D. E. KNUTH, Semantics of Context-Free Languages, Mathematical Systems Theory, 1988, 2, n° 2, p. 127-145; Mathematical Systems Theory, 1971, 5, n°1, p. 95-96, Correction. [Zbl: 0219.68035]
  14. [KB] D. E. KNUTH et P. BENDIX, Simple word problems in universal algebras in J. LEECH, ed., Computational problems in abstract algebra. [Zbl: 0188.04902]
  15. [PR] J. PERRAUD, O. ROUX et M. HUOU, Operational semantics of a kernel of the language Electre, Theoretical Computer Science, in volume 97, 1992. [MR: 1157806] [Zbl: 0769.68085]
  16. [Pl] G. D. PLOTKIN, A Structural Approach to Operational Semantics, Lecture Notes, Computer Science Department, Aarhus University, 1981.
  17. [Ri] M. RICHARD, Étude de la conjonction des approches synchrone et asynchrone dans les langages réactifs : Application à Electre, Thèse de Doctorat de l'Université de Nantes et de l'École Centrale de Nantes, 1992.
  18. [RC] O. ROUX, F. CASSEZ, D. CREUSOT et J.-P. ELLOY, Le langage réactif asynchrone Electre, Technique et Science Informatiques, 1992, vol. 11, n° 5, p. 35-66.

Current usage metrics show cumulative count of Article Views (full-text article views including HTML views, PDF and ePub downloads, according to the available data) and Abstracts Views on Vision4Press platform.

Data correspond to usage on the plateform after 2015. The current usage metrics is available 48-96 hours after online publication and is updated daily on week days.

Initial download of the metrics may take a while.