@inproceedings{inproceedings, title = {{Set semantics for asynchronous TeamLTL: expressivity and complexity}}, publisher = {{Schloss Dagstuhl - Leibniz-Zentrum für Informatik}}, url = {{https://eprints.whiterose.ac.uk/id/eprint/201294 }}, year = {{2023}}, month = {{8}}, author = {{Kontinen J and Sandström M and Virtema J}}, doi = {{10.4230/LIPIcs.MFCS.2023.60}}, isbn = {{9783959772921}}, volume = {{272}}, journal = {{48th International Symposium on Mathematical Foundations of Computer Science (MFCS 2023)}}, pages = {{60:1-60:14}}, note = {{Accessed on 2025/12/17}}}