
Le développement des réseaux et l'utilisation de plus en plus massive de terminaux peu fiables avec de faibles connectivités nécessitent des recherches sur la conception d'Algorithmes Distribués fiables, passant à l'échelle et dont le comportement puisse être prouvé formellement.