Infinité de processus : que se passe-t-il si on ne suppose plus que l’ensemble des processus est fini et défini statiquement ?
Réseau de capteurs et calculabilité : avec un modèle très simple de capteurs anonymes que peut-on calculer ?
Wait-free, Obstruction-Free : est-ce que la notion d’implémentation Obstruction-Free (qui assure termine si on est seul à exécuter des pas de calcul) peut aider à réaliser des implémentations Wait-Free (qui terminent toujours même si on est seul)
Consensus et diffusion atomique ultime : que se passe-t-il si on ne s’intéresse plus qu’aux propriétés ultimes de ces problèmes, quel est le lien avec l’auto-stabilisation ?
Si un de ces vous intéresse veuillez prendre contact avec Carole Delporte ou Hugues Fauconnier.