@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://www.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://www.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://www.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://www.numdam.org/item/ITA_1995__29_4_315_0/
[Ar] MEC:A system for constructing and analysing transition systems, LABRI, Université de Bordeaux-1, 1988.
,[BC] 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
et ,[BCo] Synchronous Programming of reactive systems: an introduction to ESTEREL, Rapport INRIA n° 646, 1986.
, et ,[CH] The specification of process synchronization by path expressions, Lecture Notes in Computer Science, 1973, n°16, p. 89-102. | Zbl
et ,[CL] Un environnement d'exécution pour Electre, contrat n° STR ELE1, janvier 1991.
, , et ,[CP] LUSTRE: a declarative language for programming synchronous systems, 14th ACM Symposium on principles of programming languages, Munich 1987.
, , et ,[CPe] Grammaire et analyse syntaxique du langage Electre, Rapport de contrat VEH-ELE-D2, Convention Renault, 1988.
et ,[CR] Compilation du langage Electre, Rapport interne n° 91-11, LAN, École Centrale de Nantes.
et ,[ER] Electre; a Language for Control Structuring in Real Time, The Computer Journal, 1985, 28, n° 5, p. 229-234.
et ,[GB] SIGNAL: a data-flow oriented language for signal processing, IEEE Trans. on ASSP, ASSP-34, 1986, 2, p. 362-374. | Zbl
, , et ,[Hu] 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] Une sémantique étendue du langage Electre, Rapport interne n° 92-17, LAN, École Centrale de Nantes, 1992.
,[Kn] 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] Simple word problems in universal algebras in J. LEECH, ed., Computational problems in abstract algebra. | Zbl
et ,[PR] Operational semantics of a kernel of the language Electre, Theoretical Computer Science, in volume 97, 1992. | MR | Zbl
, et ,[Pl] A Structural Approach to Operational Semantics, Lecture Notes, Computer Science Department, Aarhus University, 1981.
,[Ri] É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] Le langage réactif asynchrone Electre, Technique et Science Informatiques, 1992, vol. 11, n° 5, p. 35-66.
, , et ,