Temporal Hyperproperties for Population Protocols | Publicación