Abstract FR:

L'objectif est de proposer des outils pour la conception et la validation de programmes parallèles : des outils, méthodologiques pour la spécification des problèmes et l'expression algorithmique des solutions et des outils logiciels pour la validation des programmes