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

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
Copyright: © 2012 |Volume: 3 |Issue: 4 |Pages: 16
ISSN: 1947-3087|EISSN: 1947-3079|EISBN13: 9781466610927|DOI: 10.4018/ijalr.2012100102
Cite Article Cite Article

MLA

Chen, Chih-Yuan, et al. "Correctness of Self-Stabilizing Algorithms Under the Dolev Model When Adapted to Composite Atomicity Models." IJALR vol.3, no.4 2012: pp.16-31. http://doi.org/10.4018/ijalr.2012100102

APA

Chen, C., Wang, C., Huang, T. C., & Lin, J. (2012). Correctness of Self-Stabilizing Algorithms Under the Dolev Model When Adapted to Composite Atomicity Models. International Journal of Artificial Life Research (IJALR), 3(4), 16-31. http://doi.org/10.4018/ijalr.2012100102

Chicago

Chen, Chih-Yuan, et al. "Correctness of Self-Stabilizing Algorithms Under the Dolev Model When Adapted to Composite Atomicity Models," International Journal of Artificial Life Research (IJALR) 3, no.4: 16-31. http://doi.org/10.4018/ijalr.2012100102

Export Reference

Mendeley
Favorite Full-Issue Download

Abstract

In this paper, the authors first clarify that it is not a trivial matter whether or not a self-stabilizing algorithm under the Dolev model, when adapted to a composite atomicity model, is also self-stabilizing. Then the authors employ a particular “simulation” approach to show that if a self-stabilizing algorithm under the Dolev model has one of two certain forms, then it is also self-stabilizing when adapted to one of the composite atomicity models, the fair daemon model. Since most existing self-stabilizing algorithms under the Dolev model have the above-mentioned forms, the authors’ results imply that they are all self-stabilizing when adapted to the fair daemon model.

Request Access

You do not own this content. Please login to recommend this title to your institution's librarian or purchase it from the IGI Global bookstore.