@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}, pages = {59--91}, publisher = {EDP-Sciences}, volume = {21}, number = {1}, year = {1987}, mrnumber = {882871}, zbl = {0635.68005}, language = {fr}, url = {http://archive.numdam.org/item/ITA_1987__21_1_59_0/} }
TY - JOUR AU - Naudin, Patrice TI - Comparaison et équivalence de sémantiques pour les schémas de programmes non déterministes JO - RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications PY - 1987 SP - 59 EP - 91 VL - 21 IS - 1 PB - EDP-Sciences UR - http://archive.numdam.org/item/ITA_1987__21_1_59_0/ LA - fr ID - ITA_1987__21_1_59_0 ER -
%0 Journal Article %A Naudin, Patrice %T Comparaison et équivalence de sémantiques pour les schémas de programmes non déterministes %J RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications %D 1987 %P 59-91 %V 21 %N 1 %I EDP-Sciences %U http://archive.numdam.org/item/ITA_1987__21_1_59_0/ %G fr %F 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) no. 1, pp. 59-91. http://archive.numdam.org/item/ITA_1987__21_1_59_0/
1. On Semantics Foundations for Applicative Multiprogramming, Lecture notes in Computer Science, vol. 137, 1982. | Zbl
,2. Sémantique de l'appel par valeur, RAIRO Informatique théorique, vol. 12, n° 2, 1978. | Numdam | MR | Zbl
,3. Schémas de programmes non déterministes avec appel synchrone, inProgram transformations, 3rd international symposium on programming, Dunod, Paris. | Zbl
,4. Théorie des magmoïdes I, RAIRO Informatique théorique, vol. 12, n° 3, 1978. | Numdam | MR | Zbl
et ,5. On Semantics of Non-Deterministic Recursive Program Schemes, in Algebraic Methods in Semantics, NIVAT and REYNOLDS Eds., Cambridge University Press. | Zbl
, et ,6. The Metric Space of Infinite Trees. Algebraic and Topological Properties, Fundamenta Informaticae, vol. 4, 1980, p. 445-476. | MR | Zbl
et ,7. Formal Computations of Non-Deterministic Recursive Program Schemes, Math. System Theory, vol. 13, 1980, p. 219-236. | MR | Zbl
et ,8. Metric Interpretations of Infinite Trees and Semantics of Non-Deterministic Recursive Program Schemes, Theoretical Computer Science, vol. 11, 1980, p. 181-205. | MR | Zbl
et ,9. 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.
et ,10. Sémantique opérationnelle et algébrique des programmes récursifs non déterministes. Thèse d'État, Université de Paris-VII, 1980.
,11. Une sémantique pour les arbres non déterministes, In 6th CAAP, Lecture Notes in Computer Science, vol. 112, 1981, p. 147-161. | MR | Zbl
,12. Computational Semantics of Term Rewriting Systems, in Algebraic Methods in Semantics, NIVAT and REYNOLDS Eds., Cambridge University Press. | MR | Zbl
,13. Algebraic Semantics, Lecture Notes in Computer Science, vol. 99, Springer-Verlag, 1981. | MR | Zbl
,14. Powerdomains and Non Deterministic Definitions, Lecture Notes in Computer Science, vol. 137, 1982. | Zbl
,15. Full Abstraction for a Simple Parallel Programming Language, Lecture Notes in Computer Science, vol. 74, 1979. | MR | Zbl
et ,16. 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. On the Interpretation of Recursive Polyadic Program Schemes, Symposia Matematica, vol. 15, 1975, p. 255-281. | MR | Zbl
,18. Interprétation universelle d'un schéma de programmes récursifs, Informatica, vol. 7, 1977, p. 9-16.
,19. Non-Deterministic Programs: an Algebraic Overview, Proceedings of IFIP Congress, 1980, North Holland. | MR | Zbl
,20. Fixed-Point Characterization of Context-Free oo-Languages, Information and Control, vol. 61, n° 3, 1984. | MR | Zbl
,21. A Power Domain Construction, SIAM Journal on Computing, vol. 5, 1976, p. 452-486. | Zbl
,22. On Effective Computations of Non-Deterministic Schemes, Lecture Notes in Computer Science, vol. 137, 1982. | Zbl
,23. 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 | Zbl
,24. Powerdomains, JCSS, vol. 16, 1978, p. 23-26. | MR | Zbl
,25. The Lattice of Flow Diagrams, Symposium on Semantics of Algorithmic Languages, Lecture Notes in Mathematics, vol. 182, Springer-Verlag, 1971. | MR | Zbl
,