Population Protocols: Beyond Runtime Analysis | Publicación