Une étude des jeux distribués - Archive ouverte HAL Accéder directement au contenu
Article Dans Une Revue Revue des Sciences et Technologies de l'Information - Série TSI : Technique et Science Informatiques Année : 2013

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.
Fichier principal
Vignette du fichier
RR-1456-11.pdf (555.19 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-00658601 , version 1 (11-01-2012)
hal-00658601 , version 2 (24-02-2013)

Identifiants

  • HAL Id : hal-00658601 , version 2

Citer

Julien Bernet, David Janin. Une étude des jeux distribués. Revue des Sciences et Technologies de l'Information - Série TSI : Technique et Science Informatiques, 2013, 32 (9-10), pp.1007-1041. ⟨hal-00658601v2⟩

Collections

CNRS
166 Consultations
244 Téléchargements

Partager

Gmail Facebook X LinkedIn More