Henning Urbat, Daniel Hausmann 0001, Stefan Milius, Lutz Schröder. Nominal Büchi Automata with Name Allocation. In Serge Haddad, Daniele Varacca, editors, 32nd International Conference on Concurrency Theory, CONCUR 2021, August 24-27, 2021, Virtual Conference. Volume 203 of LIPIcs, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2021. [doi]
Abstract is missing.