Dan Alistarh, Rati Gelashvili & Milan Vojnovi\'c (2015):
Fast and Exact Majority in Population Protocols.
In: Proceedings of the 2015 ACM Symposium on Principles of Distributed Computing,
PODC '15.
ACM,
New York, NY, USA,
pp. 47–56,
doi:10.1145/2767386.2767429.
Dana Angluin, James Aspnes, Zoë Diamadi, Michael J. Fischer & René Peralta (2004):
Computation in networks of passively mobile finite-state sensors.
In: Proceedings of the twenty-third annual ACM symposium on Principles of distributed computing.
ACM,
pp. 290–299,
doi:10.1145/1011767.1011810.
Dana Angluin, James Aspnes, Zoë Diamadi, Michael J. Fischer & René Peralta (2006):
Computation in networks of passively mobile finite-state sensors.
Distributed Computing 18(4),
pp. 235–253,
doi:10.1007/s00446-005-0138-3.
Dana Angluin, James Aspnes, David Eisenstat & Eric Ruppert (2007):
The computational power of population protocols.
Distributed Computing 20(4),
pp. 279–304,
doi:10.1007/s00446-007-0040-2.
Dana Angluin, James Aspnes, Michael J. Fischer & Hong Jiang (2008):
Self-stabilizing Population Protocols.
ACM Trans. Auton. Adapt. Syst. 3(4),
pp. 13:1–13:28,
doi:10.1145/1452001.1452003.
James Aspnes & Eric Ruppert (2009):
An Introduction to Population Protocols,
pp. 97–120.
Springer Berlin Heidelberg,
Berlin, Heidelberg,
doi:10.1007/978-3-540-89707-1_5.
Shantanu Das, Giuseppe Antonio Di Luna, Paola Flocchini, Nicola Santoro & Giovanni Viglietta (2017):
Mediated Population Protocols: Leader Election and Applications.
In: T V Gopal, Jäger Gerhard & Silvia Steila: Theory and Applications of Models of Computation.
Springer International Publishing,
Cham,
pp. 172–186,
doi:10.1007/978-3-319-55911-7_13.
Shantanu Das, Giuseppe Antonio Di Luna, Paola Flocchini, Nicola Santoro & Giovanni Viglietta (2017):
Mediated Population Protocols: Leader Election and Applications.
In: Theory and Applications of Models of Computation,
Lecture Notes in Computer Science.
Springer, Cham,
pp. 172–186,
doi:10.1007/978-3-319-55911-7_13.
Carole Delporte-Gallet, Hugues Fauconnier, Rachid Guerraoui & Eric Ruppert (2006):
When Birds Die: Making Population Protocols Fault-tolerant.
In: Proceedings of the Second IEEE International Conference on Distributed Computing in Sensor Systems,
DCOSS'06.
Springer-Verlag,
Berlin, Heidelberg,
pp. 51–66,
doi:10.1007/11776178_4.
Javier Esparza, Pierre Ganty, Jérôme Leroux & Rupak Majumdar (2017):
Verification of population protocols.
Acta Informatica 54(2),
pp. 191–215,
doi:10.1007/s00236-016-0272-3.
Daniele Gorla (2010):
Towards a unified approach to encodability and separation results for process calculi.
Information and Computation 208(9),
pp. 1031 – 1053,
doi:10.1016/j.ic.2010.05.002.
Othon Michail, Ioannis Chatzigiannakis & Paul G. Spirakis (2011):
Mediated population protocols.
Theoretical Computer Science 412(22),
pp. 2434–2450,
doi:10.1016/j.tcs.2011.02.003.