Sémantique du parallélisme et du choix du langage Electre
Huou, M. ; Elloy, J.-P.
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications, Tome 29 (1995), p. 315-338 / Harvested from Numdam
Access to full text
Full (PDF)
Full (DJVU)
Publié le : 1995-01-01
@article{ITA_1995__29_4_315_0,
     author = {Huou, M. and Elloy, J.-P.},
     title = {S\'emantique du parall\'elisme et du choix du langage Electre},
     journal = {RAIRO - Theoretical Informatics and Applications - Informatique Th\'eorique et Applications},
     volume = {29},
     year = {1995},
     pages = {315-338},
     zbl = {0838.68074},
     language = {fr},
     url = {http://dml.mathdoc.fr/item/ITA_1995__29_4_315_0}
}

Huou, M.; Elloy, J.-P. Sémantique du parallélisme et du choix du langage Electre. RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications, Tome 29 (1995) pp. 315-338. http://gdmltest.u-ga.fr/item/ITA_1995__29_4_315_0/

[Ar] A. Arnold, MEC:A system for constructing and analysing transition systems, LABRI, Université de Bordeaux-1, 1988.

[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

[BCo] G. Berry, P. Couronne et G. Gonthier, Synchronous Programming of reactive systems: an introduction to ESTEREL, Rapport INRIA n° 646, 1986.

[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

[CL] D. Creusot, Lemoine, Roux et Trinquet, Un environnement d'exécution pour Electre, contrat n° STR ELE1, janvier 1991.

[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.

[CPe] D. Creusot et J. Perraud, Grammaire et analyse syntaxique du langage Electre, Rapport de contrat VEH-ELE-D2, Convention Renault, 1988.

[CR] F. Cassez et O. Roux, Compilation du langage Electre, Rapport interne n° 91-11, LAN, École Centrale de Nantes.

[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.

[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

[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.

[Hu2] M. Huou, Une sémantique étendue du langage Electre, Rapport interne n° 92-17, LAN, École Centrale de Nantes, 1992.

[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. | MR 1555480 | Zbl 0219.68035

[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

[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

[Pl] G. D. Plotkin, A Structural Approach to Operational Semantics, Lecture Notes, Computer Science Department, Aarhus University, 1981.

[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.

[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.