85 citations · 262 across the 21 of their papers we have counts for
1 paper · 1 filter
Antoine Durand-Gasselin, Javier Esparza, Pierre Ganty +1
We characterize the complexity of liveness verification for parameterized systems consisting of a leader process and arbitrarily many anonymous and identical contributor processes.…