Méthode axiomatique sur les propriétés de fatalité des programmes parallèles Dominique Mery — 1987 RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications