Publication:5875386

DOI10.4230/LIPIcs.CONCUR.2019.25MaRDI QIDQ5875386

Orna Kupferman, Ayrat Khalimov

Publication date: 3 February 2023

zbMATH Keywords

synthesis; register automata; register transducers

Mathematics Subject Classification ID

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