@inproceedings{inproceedings, title = {{Temporal team semantics revisited}}, publisher = {{Association for Computing Machinery}}, url = {{https://eprints.whiterose.ac.uk/id/eprint/191422 }}, year = {{2022}}, month = {{8}}, author = {{Gutsfeld JO and Meier A and Ohrem C and Virtema J}}, doi = {{10.1145/3531130.3533360}}, isbn = {{9781450393515}}, journal = {{LICS '22: Proceedings of the 37th Annual ACM/IEEE Symposium on Logic in Computer Science}}, note = {{Accessed on 2026/01/07}}}