Synthesizing Self-stabilization through Superposition and Backtracking

Alex Klinkhamer, Ali Ebnenasir. Synthesizing Self-stabilization through Superposition and Backtracking. In Pascal Felber, Vijay K. Garg, editors, Stabilization, Safety, and Security of Distributed Systems - 16th International Symposium, SSS 2014, Paderborn, Germany, September 28 - October 1, 2014. Proceedings. Volume 8756 of Lecture Notes in Computer Science, pages 252-267, Springer, 2014. [doi]

Abstract

Abstract is missing.