References

  1. 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.
  2. 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.
  3. 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.
  4. 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.
  5. 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.
  6. 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.
  7. 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.
  8. 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.
  9. 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.
  10. 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.
  11. 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.
  12. 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.

Comments and questions to: eptcs@eptcs.org
For website issues: webmaster@eptcs.org