A Myhill-Nerode Theorem for Register Automata and Symbolic Trace Languages.

Frits W. Vaandrager, Abhisek Midya

Browse the full ICTAC paper archive.