Reachability in Parameterized Systems: All Flavors of Threshold Automata.

Jure Kukovec, Igor Konnov, Josef Widder

Browse the full CONCUR paper archive.