There are 0 repository under self-stabilization topic.
A discrete-event simulator for the edge computing paradigm
Self-stabilization resources and links.
Probabilistic analysis of self-stabilizing systems: A case study on a mutual exclusion algorithm
Implementation of the self-stabilizing uniform reliable broadcast protocol introduced by Raynal et al.
Dijkstra's self stabilization algorithms simulations
Implementation of a self-stabilizing reconfiguration protocol running ABD on top.
Implementation, validation and experimental evaluation of a self-stabilizing randomized Byzantine-tolerant binary consensus algorithm