Expressiveness and Decidability of Temporal Logics for Asynchronous Hyperproperties | Publicación