History-Deterministic Parikh Automata.

Enzo Erlich, Shibashis Guha, Ismal Jecker, Karoliina Lehtinen, Martin Zimmermann

Browse the full CONCUR paper archive.