Eliminating Message Counters in Synchronous Threshold Automata.

Ilina Stoilkovska, Igor Konnov, Josef Widder, Florian Zuleger

Browse the full VMCAI paper archive.