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 |
- [Ar] A. ARNOLD, MEC:A system for constructing and analysing transition systems, LABRI, Université de Bordeaux-1, 1988. [Google Scholar]
- [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] [Google Scholar]
- [BCo] G. BERRY, P. COURONNE et G. GONTHIER, Synchronous Programming of reactive systems: an introduction to ESTEREL, Rapport INRIA n° 646, 1986. [Google Scholar]
- [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] [Google Scholar]
- [CL] D. CREUSOT, LEMOINE, ROUX et TRINQUET, Un environnement d'exécution pour Electre, contrat n° STR ELE1, janvier 1991. [Google Scholar]
- [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. [Google Scholar]
- [CPe] D. CREUSOT et J. PERRAUD, Grammaire et analyse syntaxique du langage Electre, Rapport de contrat VEH-ELE-D2, Convention Renault, 1988. [Google Scholar]
- [CR] F. CASSEZ et O. ROUX, Compilation du langage Electre, Rapport interne n° 91-11, LAN, École Centrale de Nantes. [Google Scholar]
- [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. [Google Scholar]
- [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] [Google Scholar]
- [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. [Google Scholar]
- [Hu2] M. HUOU, Une sémantique étendue du langage Electre, Rapport interne n° 92-17, LAN, École Centrale de Nantes, 1992. [Google Scholar]
- [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] [Google Scholar]
- [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] [Google Scholar]
- [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] [Google Scholar]
- [Pl] G. D. PLOTKIN, A Structural Approach to Operational Semantics, Lecture Notes, Computer Science Department, Aarhus University, 1981. [Google Scholar]
- [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. [Google Scholar]
- [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. [Google Scholar]
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.