{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,10]],"date-time":"2026-06-10T15:24:49Z","timestamp":1781105089417,"version":"3.54.1"},"reference-count":21,"publisher":"IGI Global Scientific Publishing","issue":"4","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012,10,1]]},"abstract":"<p>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 \u201csimulation\u201d 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\u2019 results imply that they are all self-stabilizing when adapted to the fair daemon model.<\/p>","DOI":"10.4018\/ijalr.2012100102","type":"journal-article","created":{"date-parts":[[2014,2,12]],"date-time":"2014-02-12T12:33:07Z","timestamp":1392208387000},"page":"16-31","source":"Crossref","is-referenced-by-count":0,"title":["Correctness of Self-Stabilizing Algorithms Under the Dolev Model When Adapted to Composite Atomicity Models"],"prefix":"10.4018","volume":"3","author":[{"given":"Chih-Yuan","family":"Chen","sequence":"first","affiliation":[{"name":"Department of Computer Science and Information Engineering, Tao-yuan Innovation Institute of Technology, Chung-Li, Taiwan"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Cheng-Pin","family":"Wang","sequence":"additional","affiliation":[{"name":"General Education Center, Tzu Chi College of Technology, Hualien, Taiwan"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Tetz C.","family":"Huang","sequence":"additional","affiliation":[{"name":"Department of Computer Science and Engineering, Yuan-Ze University, Chung-Li, Taiwan"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Ji-Cherng","family":"Lin","sequence":"additional","affiliation":[{"name":"Department of Computer Science and Engineering, Yuan-Ze University, Chung-Li, Taiwan"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"2432","reference":[{"key":"ijalr.2012100102-0","unstructured":"Burns, J. E. (1987). Self-stabilizing rings without daemons (Tech. Rep. GIT-ICS-87\/36). Atlanta, GA: Georgia Tech."},{"key":"ijalr.2012100102-1","doi-asserted-by":"publisher","DOI":"10.1016\/0020-0190(94)90103-1"},{"key":"ijalr.2012100102-2","doi-asserted-by":"publisher","DOI":"10.1145\/361179.361202"},{"key":"ijalr.2012100102-3","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/6156.001.0001","author":"S.Dolev","year":"2000","journal-title":"Self-stabilization"},{"key":"ijalr.2012100102-4","doi-asserted-by":"crossref","unstructured":"Dolev, S., Israeli, A., & Moran, S. (1990). Self-stabilization of dynamic systems assuming only read\/write atomicity. In Proceedings of the 9th Annual ACM Symposium on Principles of Distributed Computing, Quebec, Canada (pp. 103-117).","DOI":"10.1145\/93385.93407"},{"key":"ijalr.2012100102-5","doi-asserted-by":"publisher","DOI":"10.1007\/BF02278851"},{"key":"ijalr.2012100102-6","doi-asserted-by":"crossref","unstructured":"Ghosh, S. Gupta, Herman, A. T., & Pemmaraju, S. V. (1996). Fault-containing self-stabilizing algorithms. In Proceedings of the 15th ACM Symposium on Principles of Distributed Computing, Philadelphia, PA (pp. 45-54).","DOI":"10.1145\/248052.248057"},{"key":"ijalr.2012100102-7","doi-asserted-by":"publisher","DOI":"10.1016\/0020-0190(96)00121-4"},{"key":"ijalr.2012100102-8","first-page":"70","article-title":"A fault-containing self-stabilizing spanning tree algorithm. Journal of Computing and Information, 2, 322-338.Huang, T. C. (2005). A self-stabilizing algorithm for the shortest path problem assuming read\/write atomicity.","volume":"71","author":"S.Ghosh","year":"1996","journal-title":"Journal of Computer and System Sciences"},{"key":"ijalr.2012100102-9","doi-asserted-by":"publisher","DOI":"10.1016\/0020-0190(92)90015-N"},{"key":"ijalr.2012100102-10","doi-asserted-by":"publisher","DOI":"10.1016\/0020-0190(92)90264-V"},{"key":"ijalr.2012100102-11","doi-asserted-by":"publisher","DOI":"10.1016\/S0898-1221(01)00276-0"},{"key":"ijalr.2012100102-12","doi-asserted-by":"publisher","DOI":"10.1016\/j.camwa.2007.01.021"},{"key":"ijalr.2012100102-13","doi-asserted-by":"publisher","DOI":"10.1016\/S0898-1221(00)00183-8"},{"key":"ijalr.2012100102-14","doi-asserted-by":"publisher","DOI":"10.1016\/j.camwa.2004.01.014"},{"key":"ijalr.2012100102-15","unstructured":"Ikeda, M., Kamei, S., & Kakugawa, H. (2002). A space-optimal self-stabilizing algorithm for the maximal independent set problem. In Proceedings of the 3rd International Conference on Parallel and Distributed Computing, Applications and Technologies, Kanazawa, Japan (pp. 70-74)."},{"key":"ijalr.2012100102-16","unstructured":"Shukla, S., Rosenkrantz, D. J., & Ravi, S. S. (1995). Observations on self-stabilizing graph algorithms on anonymous networks. In Proceedings of the 2nd Workshop on Self-stabilizing Systems, Las Vegas, NV (pp.7.1-7.15)."},{"key":"ijalr.2012100102-17","doi-asserted-by":"publisher","DOI":"10.1016\/j.ipl.2006.10.010"},{"key":"ijalr.2012100102-18","doi-asserted-by":"publisher","DOI":"10.1016\/j.ipl.2007.02.013"},{"key":"ijalr.2012100102-19","doi-asserted-by":"publisher","DOI":"10.1016\/j.ipl.2009.03.013"},{"key":"ijalr.2012100102-20","doi-asserted-by":"publisher","DOI":"10.1016\/j.ipl.2006.09.004"}],"container-title":["International Journal of Artificial Life Research"],"original-title":[],"language":"ng","link":[{"URL":"https:\/\/www.igi-global.com\/viewtitle.aspx?TitleId=101292","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,1,27]],"date-time":"2023-01-27T11:04:17Z","timestamp":1674817457000},"score":1,"resource":{"primary":{"URL":"https:\/\/services.igi-global.com\/resolvedoi\/resolve.aspx?doi=10.4018\/ijalr.2012100102"}},"subtitle":[""],"short-title":[],"issued":{"date-parts":[[2012,10,1]]},"references-count":21,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2012,10]]}},"URL":"https:\/\/doi.org\/10.4018\/ijalr.2012100102","relation":{},"ISSN":["1947-3087","1947-3079"],"issn-type":[{"value":"1947-3087","type":"print"},{"value":"1947-3079","type":"electronic"}],"subject":[],"published":{"date-parts":[[2012,10,1]]}}}