Nominal Tree Automata with Name Allocation.

Simon Prucker, Lutz Schrder

Browse the full CONCUR paper archive.