Set semantics for asynchronous TeamLTL: expressivity and complexity

Kontinen, J., Sandström, M. orcid.org/0000-0002-6365-2562 and Virtema, J. orcid.org/0000-0002-1582-3718 (2025) Set semantics for asynchronous TeamLTL: expressivity and complexity. Information and Computation, 304. 105299. ISSN 0890-5401

Abstract

Metadata

Item Type: Article
Authors/Creators:
Copyright, Publisher and Additional Information:

© 2025 The Authors. Published by Elsevier Inc. This is an open access article under the CC BY license (http://creativecommons.org/licenses/by/4.0/).

Keywords: Hyperproperties; Linear Temporal Logic; Team Semantics
Dates:
  • Accepted: 26 March 2025
  • Published (online): 27 March 2025
  • Published: May 2025
Institution: The University of Sheffield
Academic Units: The University of Sheffield > Faculty of Engineering (Sheffield) > Department of Computer Science (Sheffield)
Funding Information:
Funder
Grant number
DEUTSCHE FORSCHUNGSGEMEINSCHAFT
432788559
Depositing User: Symplectic Sheffield
Date Deposited: 31 Mar 2025 14:35
Last Modified: 14 Apr 2025 16:16
Status: Published
Publisher: Elsevier BV
Refereed: Yes
Identification Number: 10.1016/j.ic.2025.105299
Open Archives Initiative ID (OAI ID):

Export

Statistics