Correctness of Self-Stabilizing Algorithms Under the Dolev Model When Adapted to Composite Atomicity Models

Chih-Yuan Chen, Cheng-Pin Wang, Tetz C. Huang, Ji-Cherng Lin. Correctness of Self-Stabilizing Algorithms Under the Dolev Model When Adapted to Composite Atomicity Models. IJALR, 3(4):16-31, 2012. [doi]

Abstract

Abstract is missing.