publicações selecionadas Utilisation des méthodes formelles pour le développement de programmes parallèles