[2024-09-26 Thu]: Our paper "Unifying Asynchronous Logics for Hyperproperties" accepted at FSTTCS 24
Alberto Bombardelli, Laura Bozzelli César Sánchez and Stefano Tonetta: ``Unifying Asynchronous Logics for Hyperproperties’’ will appear in the 44th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS'24)*, pp. 14:1-14:18, LIPIcs vol 323, Schloss Dagstuhl - Leibniz-Zentrum fur Informatik, 2024.