Sémantique du parallélisme et du choix du langage Electre

M. Huou; J.-P. Elloy

RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications (1995)

  • Volume: 29, Issue: 4, page 315-338
  • ISSN: 0988-3754

How to cite

top

Huou, M., and Elloy, J.-P.. "Sémantique du parallélisme et du choix du langage Electre." RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications 29.4 (1995): 315-338. <http://eudml.org/doc/92512>.

@article{Huou1995,
author = {Huou, M., Elloy, J.-P.},
journal = {RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications},
keywords = {Electre language; real time control; transition system},
language = {fre},
number = {4},
pages = {315-338},
publisher = {EDP-Sciences},
title = {Sémantique du parallélisme et du choix du langage Electre},
url = {http://eudml.org/doc/92512},
volume = {29},
year = {1995},
}

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
PB - EDP-Sciences
VL - 29
IS - 4
SP - 315
EP - 338
LA - fre
KW - Electre language; real time control; transition system
UR - http://eudml.org/doc/92512
ER -

References

top
  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. Zbl0599.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. Zbl0295.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. Zbl0601.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. Zbl0219.68035
  14. [KB] D. E. KNUTH et P. BENDIX, Simple word problems in universal algebras in J. LEECH, ed., Computational problems in abstract algebra. Zbl0188.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. Zbl0769.68085MR1157806
  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. 

NotesEmbed ?

top

You must be logged in to post comments.

To embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.

Only the controls for the widget will be shown in your chosen language. Notes will be shown in their authored language.

Tells the widget how many notes to show per page. You can cycle through additional notes using the next and previous controls.

    
                

                
Note: Best practice suggests putting the JavaScript code just before the closing </body> tag.