ACME: Automata with Counters, Monoids and Equivalence.

Nathanal Fijalkow, Denis Kuperberg

Browse the full ATVA paper archive.