Lower bounds on the state complexity of population protocols | Publicación