35 citations · 151 across the 21 of their papers we have counts for
1 paper · 2 filters
A. R. Balasubramanian, Igor Walukiewicz
The Heard-Of model is a simple and relatively expressive model of distributed computation. Because of this, it has gained a considerable attention of the verification community. We…