Nominal Bchi Automata with Name Allocation.

Henning Urbat, Daniel Hausmann, Stefan Milius, Lutz Schrder

Browse the full CONCUR paper archive.