Nominal Automata with Name Binding.

Lutz Schrder, Dexter Kozen, Stefan Milius, Thorsten Wimann

Browse the full FOSSACS paper archive.