Sémantique du parallélisme et du choix du langage Electre
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications, Tome 29 (1995) no. 4, pp. 315-338.
@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},
     pages = {315--338},
     publisher = {EDP-Sciences},
     volume = {29},
     number = {4},
     year = {1995},
     zbl = {0838.68074},
     language = {fr},
     url = {http://archive.numdam.org/item/ITA_1995__29_4_315_0/}
}
TY  - JOUR
AU  - Huou, M.
AU  - Elloy, J.-P.
TI  - Sémantique du parallélisme et du choix du langage Electre
JO  - RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
PY  - 1995
SP  - 315
EP  - 338
VL  - 29
IS  - 4
PB  - EDP-Sciences
UR  - http://archive.numdam.org/item/ITA_1995__29_4_315_0/
LA  - fr
ID  - ITA_1995__29_4_315_0
ER  - 
%0 Journal Article
%A Huou, M.
%A Elloy, J.-P.
%T Sémantique du parallélisme et du choix du langage Electre
%J RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
%D 1995
%P 315-338
%V 29
%N 4
%I EDP-Sciences
%U http://archive.numdam.org/item/ITA_1995__29_4_315_0/
%G fr
%F 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) no. 4, pp. 315-338. http://archive.numdam.org/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

[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

[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

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

[KB] D. E. Knuth et P. Bendix, Simple word problems in universal algebras in J. LEECH, ed., Computational problems in abstract algebra. | Zbl

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

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