#algorithmes #fr #distributedalgorithms #sorbonne

Modèles temporelles

• Constat
  • vitesses des processus différents.
  • délais de transmissions variables
• Problème.
  • combien de temps attendre avant de reprendre au déclarer l’échec
• Démarche.
  • élaborer des modèles temporelles pour lesquels on puisse tirer des propriétés.

Problèmes du consensus 2b4a-consensus-problem

Horloges 2b4b-clocks