Comparaison et équivalence de sémantiques pour les schémas de programmes non déterministes Patrice Naudin — 1987 RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications