Dear Alumni, Colleagues and Friends, Welcome to Michigan Tech’s new College of Computing! By now you’ve received the latest Michigan Tech magazine and have read the announcement of Michigan Tech’s newest college. This is an exciting time at Michigan Tech as we reimagine existing programs, add new majors, and pursue innovative new initiatives to prepare . . .
An article co-authored by Ali Ebnenasir (SAS/CS) and Alex Klinkhamer, “Verification of Livelock-Freedom and Self-Stabilization on Parameterized Rings,” was recently published in ACM Transactions on Computational Logic. Abstract: This article investigates the verification of livelock-freedom and self-stabilization on parameterized rings consisting of symmetric, constant space, deterministic, and self-disabling processes. The results of this article have a significant impact . . .
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.