5 citations · 18 across the 15 of their papers we have counts for
Showing 2009Show all
2 papers · 1 filter
cs.DC2009★ 1 cited
Self-Stabilizing Byzantine Asynchronous Unison
Swan Dubois, Maria Gradinariu Potop-Butucaru, Mikhail Nesterenko +1
We explore asynchronous unison in the presence of systemic transient and permanent Byzantine faults in shared memory. We observe that the problem is not solvable under less than st…
cs.DC2009★ 1 cited
Ideal Stabilization
Mikhail Nesterenko, Sébastien Tixeuil
We define and explore the concept of ideal stabilization. The program is ideally stabilizing if its every state is legitimate. Ideal stabilization allows the specification designer…