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