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.
@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://www.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://www.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://www.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://www.numdam.org/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

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

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

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

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

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 | Zbl

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

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 | Zbl

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 | Zbl

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

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

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

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 | Zbl

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 | Zbl

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 | Zbl

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

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

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

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 | Zbl

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

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