On the Verification of Livelock-Freedom and Self-Stabilization on Parameterized Rings

Alex Klinkhamer, Ali Ebnenasir. On the Verification of Livelock-Freedom and Self-Stabilization on Parameterized Rings. ACM Trans. Comput. Log., 20(3), 2019. [doi]

Abstract

Abstract is missing.