Fresh-Register Automata (2011)

by N Tzevelekos
Venue:In Proc. POPL 2011