Alternating Nominal Automata with Name Allocation.

Florian Frank, Daniel Hausmann, Stefan Milius, Lutz Schrder, Henning Urbat

Browse the full LICS paper archive.