Une étude des jeux distribués
Résumé
Dans cet article, nous étudions quelques propriétés des jeux distribués : un modèle abstrait qui vise à capturer divers problèmes formels de synthèse de programmes distribués. Pour cela, nous examinons en particulier les interconnexions étroites qui existent entre les automate d'arbres alternants et les jeux distribués. L'utilisation du théorème de simulation de Muller et Schupp et d'une notion de composition séquentielle d'automates d'arbres nous permet d'obtenir des outils conceptuels simples et élégants permettant de résoudre, sous certaines hypothèses de linéarité, les jeux distribués. Parce que les jeux distribués permettent la spécification de comportements synchrones aussi bien qu'asynchrones, nous pouvons aussi énoncer et prouver une intuition assez commune dans le contexte des systèmes distribués : dans le cas d'une capacité mémoire bornée, tout système distribué asynchrone se réduit à un système synchrone. Formellement, nous démontrons que tout jeu distribué asynchrone peut être transformé en un jeu distribué synchrone de même taille qui lui est équivalent au sens où les deux jeux admettent, essentiellement, les mêmes stratégies distribuées à mémoires finies.
Origine : Fichiers produits par l'(les) auteur(s)
Loading...