scientific article; zbMATH DE number 7830376

DOI10.4230/lipics.csl.2022.20arXiv2107.09280MaRDI QIDQ6124952

Ernst-Ruediger Olderog, Manuel Gieseking, Jesko Hecking-Harbusch, Bernd Finkbeiner

Publication date: 10 April 2024

Full work available at URL: https://arxiv.org/abs/2107.09280

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

synthesisdistributed systemsdecidabilityreactive systemsPetri games

Mathematics Subject Classification ID

Logic in computer science (03B70)

Related Items

Distributed Asynchronous Games With Causal Memory are Undecidable