A Temporal Logic for Asynchronous Hyperproperties | Publicación