Fischer, Lynch et Paterson ont prouvé que les problèmes d’accord n’ont pas de solutions déterministes dans un système asynchrone si, au plus un seul processus est crashé. En effet, le crash des processus est un type de ...