19 citations · 20 across the 4 of their papers we have counts for
1 paper · 1 filter
Tom Baumeister, Paul Eichler, Swen Jacobs +2
Threshold automata are a computational model that has proven to be versatile in modeling threshold-based distributed algorithms and enabling their completely automatic parameterize…