Playing With Population Protocols

被引：3
|
作者：
Bournez, Olivier [1 ,2 ]
Chalopin, Jerenfie [3 ,4 ,5 ]
Cohen, Johanne [6 ,7 ]
Koegler, Xavier [8 ,9 ]
机构：
[1] Ecole Polytech, F-91128 Palaiseau, France
[2] Lab Informat LIX, F-91128 Palaiseau, France
[3] CNRS, F-13453 Marseille 13, France
[4] CNRS, Lab Informat Fondamentale Marseille, F-13453 Marseille 13, France
[5] Aix Marseille Univ, F-13453 Marseille 13, France
[6] CNRS, F-78000 Versailles, France
[7] PRiSM, F-78000 Versailles, France
[8] Ecole Normale Super, F-75205 Paris 13, France
[9] Univ Paris Diderot Paris 7, F-75205 Paris 13, France
来源：
ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE | 2009年 / 01期
关键词：
D O I：
10.4204/EPTCS.1.1
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
Population protocols have been introduced as a model of sensor networks consisting of very limited mobile agents with no control over their own movemelit: A collection of a no mous agents, modeled by finite automata, interact in pairs according to some rules. Predicates on the initial configurations that can be computed by such protocols have been characterized under several hypotheses. We discuss here whether and when the rules of interactions between agents can be seen as a game from game theory. We do so by discussing several basic protocols.
引用
收藏
页码：3 / 15
页数：13
相关论文
共 50 条
  • [1] Counting with Population Protocols
    Mocquard, Yves
    Anceaume, Emmanuelle
    Aspnes, James
    Busnel, Yann
    Sericola, Bruno
    [J]. 2015 IEEE 14TH INTERNATIONAL SYMPOSIUM ON NETWORK COMPUTING AND APPLICATIONS (NCA), 2015, : 35 - 42
  • [2] Clocked population protocols
    Aspnes, James
    [J]. JOURNAL OF COMPUTER AND SYSTEM SCIENCES, 2021, 121 : 34 - 48
  • [3] AN INTRODUCTION TO POPULATION PROTOCOLS
    Mavronicolas, Mario
    Aspnes, James
    Ruppert, Eric
    [J]. BULLETIN OF THE EUROPEAN ASSOCIATION FOR THEORETICAL COMPUTER SCIENCE, 2007, (93): : 98 - 117
  • [4] Clocked Population Protocols
    Aspnes, James
    [J]. PROCEEDINGS OF THE ACM SYMPOSIUM ON PRINCIPLES OF DISTRIBUTED COMPUTING (PODC'17), 2017, : 431 - 440
  • [5] Trustful Population Protocols
    Bournez, Olivier
    Lefevre, Jonas
    Rabie, Mikael
    [J]. DISTRIBUTED COMPUTING, 2013, 8205 : 447 - 461
  • [6] Mediated population protocols
    Michail, Othon
    Chatzigiannakis, Ioannis
    Spirakis, Paul G.
    [J]. THEORETICAL COMPUTER SCIENCE, 2011, 412 (22) : 2434 - 2450
  • [7] Mediated Population Protocols
    Chatzigiannakis, Ioannis
    Michail, Othon
    Spirakis, Paul G.
    [J]. AUTOMATA, LANGUAGES AND PROGRAMMING, PT II, PROCEEDINGS, 2009, 5556 : 363 - +
  • [8] Verification of population protocols
    Javier Esparza
    Pierre Ganty
    Jérôme Leroux
    Rupak Majumdar
    [J]. Acta Informatica, 2017, 54 : 191 - 215
  • [9] Verification of population protocols
    Esparza, Javier
    Ganty, Pierre
    Leroux, Jerome
    Majumdar, Rupak
    [J]. ACTA INFORMATICA, 2017, 54 (02) : 191 - 215
  • [10] Homonym Population Protocols
    Olivier Bournez
    Johanne Cohen
    Mikaël Rabie
    [J]. Theory of Computing Systems, 2018, 62 : 1318 - 1346
12345