activity
20122022
most citedCounter Attack on Byzantine Generals: Parameterized Model Checking of Fault-tolerant Distributed Algorithms

15 citations · 41 across the 6 of their papers we have counts for

collaborators
Showing cs.FLShow all

1 paper · 1 filter

cs.FL2012★ 3 cited

Starting a Dialog between Model Checking and Fault-tolerant Distributed Algorithms

Annu John, Igor Konnov, Ulrich Schmid +2

Fault-tolerant distributed algorithms are central for building reliable spatially distributed systems. Unfortunately, the lack of a canonical precise framework for fault-tolerant a…