Eliminating Message Counters in Threshold Automata.

Ilina Stoilkovska, Igor Konnov, Josef Widder, Florian Zuleger

Browse the full ATVA paper archive.