Congratulations to Ali Ebnenasir and Alex Klinkhamer on their recently published article, “Verification of Livelock-Freedom and Self-Stabilization on Parameterized Rings,” which was accepted for publication in ACM Transactions on Computational Logic.
