Unifying Asynchronous Logics for Hyperproperties | Publicación