An implementation of a self-stabilizing replicated state machine based on failure detectors.
Minimum state products on Dijkstra's self-stabilizing token ring — exact values for n = 3 through 9 and a large-n conjecture supported through n = 10. Paper, sorry-free Lean 4 formalization, Python research probes, and an independent verifier.
A discrete-event simulator for the edge computing paradigm
Self-stabilization resources and links.
Implementation of the self-stabilizing uniform reliable broadcast protocol introduced by Raynal et al.
Probabilistic analysis of self-stabilizing systems: A case study on a mutual exclusion algorithm
Implementation, validation and experimental evaluation of a self-stabilizing randomized Byzantine-tolerant binary consensus algorithm
Dijkstra's self stabilization algorithms simulations
Implementation of a self-stabilizing reconfiguration protocol running ABD on top.
Add a description, image, and links to the self-stabilization topic page so that developers can more easily learn about it.
To associate your repository with the self-stabilization topic, visit your repo's landing page and select "manage topics."