Publication:5357700

DOI10.4230/LIPIcs.CONCUR.2015.142zbMath1374.68260MaRDI QIDQ5357700

Jiří Srba, Jan Křetínský, Kim Guldstrand Larsen, Simon Laursen

Publication date: 12 September 2017

zbMATH Keywords

complexity; synchronization; partial observability; weighted automata

Mathematics Subject Classification ID

68Q25: Analysis of algorithms and problem complexity

68Q45: Formal languages and automata

68Q85: Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)