TY  - CONF

T1  - Set semantics for asynchronous TeamLTL: expressivity and complexity

JO  - 48th International Symposium on Mathematical Foundations of Computer Science (MFCS 2023)

UR  - https://eprints.whiterose.ac.uk/id/eprint/201294

PY  - 2023/08/21

AU  - Kontinen J

AU  - Sandström M

AU  - Virtema J

ED  - 

DO  - DOI: 10.4230/LIPIcs.MFCS.2023.60

PB  - Schloss Dagstuhl - Leibniz-Zentrum für Informatik

SN  - 9783959772921

VL  - 272

SP  - 60:1

EP  - 60:14

Y2  - 2025/12/14

ER  -