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

 Access to full text

 Full (PDF)

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.