TY  - JOUR

T1  - Set semantics for asynchronous TeamLTL: expressivity and complexity

JO  - Information and Computation

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

PY  - 2025/03/27

AU  - Kontinen J

AU  - Sandström M

AU  - Virtema J

ED  - 

DO  - DOI: 10.1016/j.ic.2025.105299

PB  - Elsevier BV

Y2  - 2025/04/28

ER  -