%0 Journal Article
%A Mery, Dominique
%T Méthode axiomatique sur les propriétés de fatalité des programmes parallèles
%J RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
%D 1987
%P 287-322
%V 21
%N 3
%I EDP-Sciences
%U http://www.numdam.org/item/ITA_1987__21_3_287_0/
%G fr
%F ITA_1987__21_3_287_0