Laura Bozzelli, Adriano Peron, César Sánchez. Expressiveness and Decidability of Temporal Logics for Asynchronous Hyperproperties. In Bartek Klin, Slawomir Lasota 0001, Anca Muscholl, editors, 33rd International Conference on Concurrency Theory, CONCUR 2022, September 12-16, 2022, Warsaw, Poland. Volume 243 of LIPIcs, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2022. [doi]
@inproceedings{BozzelliPS22,
title = {Expressiveness and Decidability of Temporal Logics for Asynchronous Hyperproperties},
author = {Laura Bozzelli and Adriano Peron and César Sánchez},
year = {2022},
doi = {10.4230/LIPIcs.CONCUR.2022.27},
url = {https://doi.org/10.4230/LIPIcs.CONCUR.2022.27},
researchr = {https://researchr.org/publication/BozzelliPS22},
cites = {0},
citedby = {0},
booktitle = {33rd International Conference on Concurrency Theory, CONCUR 2022, September 12-16, 2022, Warsaw, Poland},
editor = {Bartek Klin and Slawomir Lasota 0001 and Anca Muscholl},
volume = {243},
series = {LIPIcs},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum für Informatik},
isbn = {978-3-95977-246-4},
}