Une étude des jeux distribués - Archive ouverte HAL Accéder directement au contenu
Rapport Année : 2011

Une étude des jeux distribués

Résumé

Dans cette article, nous étudions quelques propriétés des jeux distribués : un modèle orienté sémantique qui vise à capturer nombre de formalismes de spécification de problèmes de synthèse de programmes distribués. Nous examinons en particulier les interconnections étroites qui existent entre les automate d'arbres alternants et les jeux distribués. En utilisant notamment le théorème de simulation de Muller et Schupp et une notion de composition séquentielle d'automates d'arbres, nous obtenons des outils conceptuels simples et élegants permettant de résoudre, sous certainnes hypothèses de linéarité, les jeux distribués. Parce que les jeux distribués permettent aussi bien la spécification de comportement synchrone ou asynchrone, nous pouvons aussi énoncer et prouver une intuition assez commune en conception de 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
full.pdf (300.23 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Dates et versions

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

Identifiants

  • HAL Id : hal-00658601 , version 1

Citer

Julien Bernet, David Janin. Une étude des jeux distribués. 2011. ⟨hal-00658601v1⟩
166 Consultations
244 Téléchargements

Partager

Gmail Facebook X LinkedIn More