Set semantics for asynchronous TeamLTL: expressivity and complexity

Kontinen, J., Sandström, M. and Virtema, J. orcid.org/0000-0002-1582-3718 (2023) Set semantics for asynchronous TeamLTL: expressivity and complexity. In: 48th International Symposium on Mathematical Foundations of Computer Science (MFCS 2023). 48th International Symposium on Mathematical Foundations of Computer Science (MFCS 2023), 28 Aug - 01 Sep 2023, Bordeaux, France. Leibniz International Proceedings in Informatics (LIPIcs), 272 . Schloss Dagstuhl - Leibniz-Zentrum für Informatik , 60:1-60:14. ISBN 9783959772921

Abstract

Metadata

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

© 2023 Juha Kontinen, Max Sandström, and Jonni Virtema; licensed under Creative Commons License CC-BY 4.0. (https://creativecommons.org/licenses/by/4.0/legalcode)
Keywords: Hyperproperties; Linear Temporal Logic; Team Semantics
Dates:
  • Published: 21 August 2023
  • Published (online): 21 August 2023
  • Accepted: 27 June 2023
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: 26 Jul 2023 15:16
Last Modified: 24 Aug 2023 10:08
Status: Published
Publisher: Schloss Dagstuhl - Leibniz-Zentrum für Informatik
Series Name: Leibniz International Proceedings in Informatics (LIPIcs)
Refereed: Yes
Identification Number: 10.4230/LIPIcs.MFCS.2023.60
Related URLs:
Open Archives Initiative ID (OAI ID):

Export

Statistics


CORE (COnnecting REpositories)