L’objectif de ce cours est d’introduire l’étudiant dans le domaine de la conception formelledes systèmes parallèles et distribués. L’accent sera mis sur les formalismes de spécification etles modèles sémantiques du parallélisme.