Preuves d'Algorithmes Distribués par Composition et Ra nement
Mots-Clés Algorithmes Distribués, Calculs Locaux, Détection de Termi- naison, énumération, Snapshots ... résultat est sous le contrôle de l'environnement.Télécharger Preuves d'Algorithmes Distribués par Composition et Ra nement pdf
