no code implementations • 7 May 2020 • Michael Blondin, Javier Esparza, Martin Helfrich, Antonín Kučera, Philipp J. Meyer
We present a sound and complete method for the verification of qualitative liveness properties of replicated systems under stochastic scheduling.
Logic in Computer Science Distributed, Parallel, and Cluster Computing