Liste des citations dans Numdam pour : Sémantique algébrique de l'appel par valeur

RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications, Tome 12 (1978), p. 69-82 / Harvested from Numdam

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), p. 59-91 / Harvested from Numdam

Guessarian, I.

À propos de la sémantique de l'appel par valeur selon A. Arnold
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications, Tome 12 (1978), p. 287-289 / Harvested from Numdam