%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