Projet visant à créer un protocole de partitionnement décentralisé garantissant une partition cohérente et une terminaison même dans des environnements dynamiques où les nœuds rejoignent et quittent le système, créent ou détruisent des partitions. Utilise PeerSim, un simulateur Java, pour évaluer et valider les propriétés des protocoles dans de grands systèmes dynamiques.