Spécification des systèmes distribués

Module de Master Technologies de l'Internet 1ère année, Université de Pau et des Pays de l'Adour

Ce module s'intéresse à la spéficication des systèmes distribuées via l'étude d'algorithmes distribués (exclusion mutuelle, diffusion, consensus, ...).

Les TPs de la partie algorithmique distribuée se basent sur un framework de communication.


Eric Cariou, dernière modification : 27/03/17