Verifying Livelock Freedom on Parameterized Rings and Chains

Alex Klinkhamer, Ali Ebnenasir. Verifying Livelock Freedom on Parameterized Rings and Chains. In Teruo Higashino, Yoshiaki Katayama, Toshimitsu Masuzawa, Maria Potop-Butucaru, Masafumi Yamashita, editors, Stabilization, Safety, and Security of Distributed Systems - 15th International Symposium, SSS 2013, Osaka, Japan, November 13-16, 2013. Proceedings. Volume 8255 of Lecture Notes in Computer Science, pages 163-177, Springer, 2013. [doi]

Abstract

Abstract is missing.