47 citations · 144 across the 34 of their papers we have counts for
1 paper · 1 filter
Michael Blondin, Javier Esparza, Martin Helfrich +2
We present a sound and complete method for the verification of qualitative liveness properties of replicated systems under stochastic scheduling. These are systems consisting of a…