4 citations · 4 across the 3 of their papers we have counts for
1 paper · 1 filter
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…