doi dblp New Models for Population Protocols Othon Michail | Ioannis Chatzigiannakis | Paul G. Spirakis