75 citations · 108 across the 4 of their papers we have counts for
1 paper · 1 filter
Javier Esparza, Pierre Ganty, Rupak Majumdar
We characterize the complexity of the safety verification problem for parameterized systems consisting of a leader process and arbitrarily many anonymous and identical contributors…