ACCUEIL

Consignes aux
auteurs et coordonnateurs
Nos règles d'éthique
Auteurs : soumettez
votre article en ligne
Autres revues >>

Technique et Science Informatiques

0752-4072
Revue des sciences et technologies de l'information
 

 ARTICLE VOL 32/9-10 - 2013  - pp.1007-1041  - doi:10.3166/tsi.32.1007-1041
TITRE
Une étude des jeux distribués

TITLE
A study of distributed games

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. Nous décrivons les interconnexions étroites qui existent entre les automates d’arbres alternants et les jeux distribués. Elles nous permettent, sous certaines hypothèses de linéarité, de résoudre les jeux distribués. Parce que ces jeux 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.



ABSTRACT

In this paper we survey some properties of discrete distributed games: an abstract model that aims at capturing various formalisms for specifying distributed program synthesis problems. We describe the tight connection that exist between alternating tree automata theory and distributed games. This allows, under adequate linearity hypothesis, for solving distributed games. Since these games can be used to specify both synchronous and asynchronous behaviors, we also state and prove what used to be a common intuition in distributed system design: when the memory capacity is bounded, asychronous systems are essentially synchronous.



AUTEUR(S)
Julien BERNET, David JANIN

MOTS-CLÉS
eux discrets finis, systèmes distribués, jeux distribuées, automates d’arbres alternants, composition séquentielle, synthèse de programmes distribués, spécifications synchrones, spécifications asynchrones

KEYWORDS
finite state discrete games, distributed systems, distributed games, alternating tree automata, sequential composition, distributed program synthesis, synchronous specification, asynchronous specification

LANGUE DE L'ARTICLE
Français

 PRIX
• Abonné (hors accès direct) : 12.5 €
• Non abonné : 25.0 €
|
|
--> Tous les articles sont dans un format PDF protégé par tatouage 
   
ACCÉDER A L'ARTICLE COMPLET  (378 Ko)



Mot de passe oublié ?

ABONNEZ-VOUS !

CONTACTS
Comité de
rédaction
Conditions
générales de vente

 English version >> 
Lavoisier