Explore l'appartenance au groupe et visualise la synchronisation dans les systèmes distribués, assurant une connaissance précise et des vues coordonnées.
Couvre l'algorithme Branch et Bound, en se concentrant sur la description formelle et les étapes de mise en œuvre pour trouver des solutions complètes optimales.
Explore la diffusion fiable dans des systèmes distribués, présentant des spécifications, des algorithmes et des propriétés pour différents types de diffusion.
Explore le problème du mariage, modélisant le processus comme un processus stochastique contrôlé avec des algorithmes de programmation dynamiques pour trouver la politique optimale pour accepter les célibataires.