Comparaison et équivalence de sémantiques pour les schémas de programmes non déterministes
Naudin, Patrice
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications, Tome 21 (1987), p. 59-91 / Harvested from Numdam
Access to full text
Full (PDF)
Full (DJVU)
Publié le : 1987-01-01
@article{ITA_1987__21_1_59_0,
     author = {Naudin, Patrice},
     title = {Comparaison et \'equivalence de s\'emantiques pour les sch\'emas de programmes non d\'eterministes},
     journal = {RAIRO - Theoretical Informatics and Applications - Informatique Th\'eorique et Applications},
     volume = {21},
     year = {1987},
     pages = {59-91},
     mrnumber = {882871},
     zbl = {0635.68005},
     language = {fr},
     url = {http://dml.mathdoc.fr/item/ITA_1987__21_1_59_0}
}

Naudin, Patrice. Comparaison et équivalence de sémantiques pour les schémas de programmes non déterministes. RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications, Tome 21 (1987) pp. 59-91. http://gdmltest.u-ga.fr/item/ITA_1987__21_1_59_0/

1. S. Abramsky, On Semantics Foundations for Applicative Multiprogramming, Lecture notes in Computer Science, vol. 137, 1982. | Zbl 0538.68064

2. A. Arnold, Sémantique de l'appel par valeur, RAIRO Informatique théorique, vol. 12, n° 2, 1978. | Numdam | MR 502121 | Zbl 0378.68008

3. A. Arnold, Schémas de programmes non déterministes avec appel synchrone, inProgram transformations, 3rd international symposium on programming, Dunod, Paris. | Zbl 0405.68012

4. A. Arnold et M. Dauchet, Théorie des magmoïdes I, RAIRO Informatique théorique, vol. 12, n° 3, 1978. | Numdam | MR 510640 | Zbl 0391.68037

5. A. Arnold, P. Naudin et M. Nivat, On Semantics of Non-Deterministic Recursive Program Schemes, in Algebraic Methods in Semantics, NIVAT and REYNOLDS Eds., Cambridge University Press. | Zbl 0577.68032

6. A. Arnold et M. Nivat, The Metric Space of Infinite Trees. Algebraic and Topological Properties, Fundamenta Informaticae, vol. 4, 1980, p. 445-476. | MR 604273 | Zbl 0453.68021

7. A. Arnold et M. Nivat, Formal Computations of Non-Deterministic Recursive Program Schemes, Math. System Theory, vol. 13, 1980, p. 219-236. | MR 572496 | Zbl 0441.68044

8. A. Arnold et M. Nivat, Metric Interpretations of Infinite Trees and Semantics of Non-Deterministic Recursive Program Schemes, Theoretical Computer Science, vol. 11, 1980, p. 181-205. | MR 572215 | Zbl 0427.68022

9. A. Arnold et M. Nivat, Fair or-Trees and Non-Deterministic Program Schemes, In 2nd International Workshop on Semantics, Bad-Honnef, 1979, Bulletin of EATCS, vol. 8, 1979, p. 104-105.

10. G. Boudol, Sémantique opérationnelle et algébrique des programmes récursifs non déterministes. Thèse d'État, Université de Paris-VII, 1980.

11. G. Boudol, Une sémantique pour les arbres non déterministes, In 6th CAAP, Lecture Notes in Computer Science, vol. 112, 1981, p. 147-161. | MR 623270 | Zbl 0485.68020

12. G. Boudol, Computational Semantics of Term Rewriting Systems, in Algebraic Methods in Semantics, NIVAT and REYNOLDS Eds., Cambridge University Press. | MR 835452 | Zbl 0611.68007

13. I. Guessarian, Algebraic Semantics, Lecture Notes in Computer Science, vol. 99, Springer-Verlag, 1981. | MR 617908 | Zbl 0474.68010

14. M. C. B. Hennessy, Powerdomains and Non Deterministic Definitions, Lecture Notes in Computer Science, vol. 137, 1982. | Zbl 0486.68009

15. M. C. B. Hennessy et G. D. Plotkin, Full Abstraction for a Simple Parallel Programming Language, Lecture Notes in Computer Science, vol. 74, 1979. | MR 570978 | Zbl 0457.68006

16. P. Naudin, Le problème du non déterminisme dans la sémantique algébrique des schémas de programmes, Thèse de 3e cycle, Université de Poitiers, 1982.

17. M. Nivat, On the Interpretation of Recursive Polyadic Program Schemes, Symposia Matematica, vol. 15, 1975, p. 255-281. | MR 391563 | Zbl 0346.68041

18. M. Nivat, Interprétation universelle d'un schéma de programmes récursifs, Informatica, vol. 7, 1977, p. 9-16.

19. M. Nivat, Non-Deterministic Programs: an Algebraic Overview, Proceedings of IFIP Congress, 1980, North Holland. | MR 594940 | Zbl 0444.68011

20. D. Niwinski, Fixed-Point Characterization of Context-Free oo-Languages, Information and Control, vol. 61, n° 3, 1984. | MR 773406 | Zbl 0591.68075

21. G. Plotkin, A Power Domain Construction, SIAM Journal on Computing, vol. 5, 1976, p. 452-486. | Zbl 0355.68015

22. A. Poigné, On Effective Computations of Non-Deterministic Schemes, Lecture Notes in Computer Science, vol. 137, 1982. | Zbl 0495.68016

23. N. Polian, Différents types de dérivations infinies dans les grammaires algébriques d'arbres, in 6th CAAP, Lectures Notes in Computer Science, vol. 112, 1981, p. 340-349. | MR 623284 | Zbl 0485.68068

24. M. Smyth, Powerdomains, JCSS, vol. 16, 1978, p. 23-26. | MR 468292 | Zbl 0391.68011

25. D. Scott, The Lattice of Flow Diagrams, Symposium on Semantics of Algorithmic Languages, Lecture Notes in Mathematics, vol. 182, Springer-Verlag, 1971. | MR 278849 | Zbl 0228.68016