Majumdar, Rupak Group R. Majumdar, Max Planck Institute for Software Systems, Max Planck Society;
Esparza, J., Ganty, P., Leroux, J., & Majumdar, R. (2017). Verification of population protocols. Acta Informatica, 54(2), 191-215. doi:10.1007/s00236-016-0272-3.