AN INTRODUCTION TO POPULATION PROTOCOLS

被引：0

作者：

Mavronicolas, Mario ^{[1
]}

Aspnes, James ^{[2
]}

Ruppert, Eric ^{[3
]}

机构：

[1] Univ Cyprus, Dept Comp Sci, 75 Kallipoleos St, CY-1678 Nicosia, Cyprus

[2] Yale Univ, New Haven, CT 06520 USA

[3] York Univ, N York, ON, Canada

来源：

BULLETIN OF THE EUROPEAN ASSOCIATION FOR THEORETICAL COMPUTER SCIENCE | 2007年 / 93期

基金：

加拿大自然科学与工程研究理事会;

关键词：

D O I：

暂无

中图分类号：

TP301 [理论、方法];

学科分类号：

081202 ;

摘要：

The population protocol model describes a collection of tiny mobile agents that interact with one another to carry out a computation. The agents are identically programmed finite state machines. Interactions between pairs of agents cause the two agents to update their states. These interactions are scheduled by an adversary, subject to a fairness constraint. Input values are initially distributed to the agents, and the agents must eventually converge to the correct output value. This framework can be used to model mobile ad hoc networks of tiny devices or collections of molecules undergoing chemical reactions. We survey results that describe what can be computed in various versions of the population protocol model.

引用

页码：98 / 117

页数：20

共 50 条

[41] Population Protocols that Correspond to Symmetric Games
Bournez, Olivier
Chalopin, Jeremie
Cohen, Johanne
Koegler, Xavier
Rabie, Mikael
[J]. INTERNATIONAL JOURNAL OF UNCONVENTIONAL COMPUTING, 2013, 9 (1-2) : 5 - 36
[42] Introduction to 'Rehearsal Protocols for Hamlet by William Shakespeare'
Kirillov, Andrei
Chamberlain, Franc
[J]. THEATRE DANCE AND PERFORMANCE TRAINING, 2013, 4 (02) : 237 - 242
[43] Protocols for the examination of tumors of diverse sites - Introduction
Hammond, EH
Compton, CC
[J]. ARCHIVES OF PATHOLOGY & LABORATORY MEDICINE, 1999, 123 (01) : 11 - 13
[44] Diversity, Fairness, and Sustainability in Population Protocols
Kang, Nan
Mallmann-Trenn, Frederik
Rivera, Nicolas
[J]. PROCEEDINGS OF THE 2021 ACM SYMPOSIUM ON PRINCIPLES OF DISTRIBUTED COMPUTING (PODC '21), 2021, : 67 - 76
[45] Fast computation by population protocols with a leader
Dana Angluin
James Aspnes
David Eisenstat
[J]. Distributed Computing, 2008, 21 : 183 - 199
[46] Verification of Population Ring Protocols in PAT
Liu, Yang
Pang, Jun
Sun, Jun
Zhao, Jianhua
[J]. THIRD INTERNATIONAL SYMPOSIUM ON THEORETICAL ASPECTS OF SOFTWARE ENGINEERING, PROCEEDINGS, 2009, : 81 - +
[47] Optimal Proportion Computation with Population Protocols
Mocquard, Yves
Anceaume, Emmanuelle
Sericola, Bruno
[J]. 15TH IEEE INTERNATIONAL SYMPOSIUM ON NETWORK COMPUTING AND APPLICATIONS (IEEE NCA 2016), 2016, : 216 - 223
[48] The Same Speed Timer in Population Protocols
Sudo, Yuichi
Masuzawa, Toshimitsu
Datta, Ajoy K.
Larmore, Lawrence L.
[J]. PROCEEDINGS 2016 IEEE 36TH INTERNATIONAL CONFERENCE ON DISTRIBUTED COMPUTING SYSTEMS ICDCS 2016, 2016, : 252 - 261
[49] A survey of size counting in population protocols
Doty, David
Eftekhari, Mahsa
[J]. THEORETICAL COMPUTER SCIENCE, 2021, 894 : 91 - 102
[50] PEREGRINE: A Tool for the Analysis of Population Protocols
Blondin, Michael
Esparza, Javier
Jaax, Stefan
[J]. COMPUTER AIDED VERIFICATION (CAV 2018), PT I, 2018, 10981 : 604 - 611

← 1 2 3 4 5 →