Abhishek Dhama, Jens Oehlerking, Oliver E. Theel. Verification of Orbitally Self-Stabilizing Distributed Algorithms Using Lyapunov Functions and Poincare Maps. In 12th International Conference on Parallel and Distributed Systems (ICPADS 2006), 12-15 July 2006, Minneapolis, Minnesota, USA. pages 23-30, IEEE Computer Society, 2006. [doi]
Abstract is missing.