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]

Authors

Chih-Yuan Chen

This author has not been identified. Look up 'Chih-Yuan Chen' in Google

Cheng-Pin Wang

This author has not been identified. Look up 'Cheng-Pin Wang' in Google

Tetz C. Huang

This author has not been identified. Look up 'Tetz C. Huang' in Google

Ji-Cherng Lin

This author has not been identified. Look up 'Ji-Cherng Lin' in Google