{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,4,30]],"date-time":"2025-04-30T04:20:55Z","timestamp":1745986855604,"version":"3.40.4"},"publisher-location":"Berlin, Heidelberg","reference-count":26,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642360640"},{"type":"electronic","value":"9783642360657"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-642-36065-7_15","type":"book-chapter","created":{"date-parts":[[2013,1,21]],"date-time":"2013-01-21T16:36:53Z","timestamp":1358786213000},"page":"146-157","source":"Crossref","is-referenced-by-count":7,"title":["Daemon Conversions in Distributed Self-stabilizing Algorithms"],"prefix":"10.1007","author":[{"given":"Wayne","family":"Goddard","sequence":"first","affiliation":[]},{"given":"Pradip K.","family":"Srimani","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"15_CR1","doi-asserted-by":"publisher","first-page":"643","DOI":"10.1145\/361179.361202","volume":"17","author":"E.W. Dijkstra","year":"1974","unstructured":"Dijkstra, E.W.: Self stabilizing systems in spite of distributed control. Comm. ACM\u00a017, 643\u2013644 (1974)","journal-title":"Comm. ACM"},{"key":"15_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"205","DOI":"10.1007\/978-3-540-24604-6_20","volume-title":"Distributed Computing - IWDC 2003","author":"T. Herman","year":"2003","unstructured":"Herman, T.: Models of Self-Stabilization and Sensor Networks. In: Das, S.R., Das, S.K. (eds.) IWDC 2003. LNCS, vol.\u00a02918, pp. 205\u2013214. Springer, Heidelberg (2003)"},{"key":"15_CR3","unstructured":"Dubois, S., Tixeuil, S.: A taxonomy of daemons in self-stabilization. CoRR, abs\/1110.0334 (2011)"},{"key":"15_CR4","doi-asserted-by":"crossref","first-page":"311","DOI":"10.1145\/1993806.1993866","volume-title":"Proceedings of the 30th Annual ACM SIGACT-SIGOPS Symposium on Principles of Distributed Computing, PODC 2011","author":"A. Korman","year":"2011","unstructured":"Korman, A., Kutten, S., Masuzawa, T.: Fast and compact self stabilizing verification, computation, and fault detection of an mst. In: Proceedings of the 30th Annual ACM SIGACT-SIGOPS Symposium on Principles of Distributed Computing, PODC 2011, pp. 311\u2013320. ACM, New York (2011)"},{"key":"15_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"95","DOI":"10.1007\/978-3-540-49823-0_7","volume-title":"Stabilization, Safety, and Security of Distributed Systems","author":"J. Beauquier","year":"2006","unstructured":"Beauquier, J., Dela\u00ebt, S., Haddad, S.: A 1-Strong Self-stabilizing Transformer. In: Datta, A.K., Gradinariu, M. (eds.) SSS 2006. LNCS, vol.\u00a04280, pp. 95\u2013109. Springer, Heidelberg (2006)"},{"key":"15_CR6","doi-asserted-by":"crossref","unstructured":"Dolev, S.: Self-Stabilization. MIT Press (2000)","DOI":"10.7551\/mitpress\/6156.001.0001"},{"key":"15_CR7","unstructured":"Tel, G.: Introduction to Distributed Algorithms. Cambridge University Press (1994)"},{"key":"15_CR8","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1007\/BF02278851","volume":"7","author":"S. Dolev","year":"1993","unstructured":"Dolev, S., Israeli, A., Moran, S.: Self-stabilization of dynamic systems assuming only read\/write atomicity. Distrib. Comput.\u00a07, 3\u201316 (1993)","journal-title":"Distrib. Comput."},{"key":"15_CR9","doi-asserted-by":"publisher","first-page":"175","DOI":"10.1006\/inco.1993.1029","volume":"104","author":"A. Israeli","year":"1993","unstructured":"Israeli, A., Jalfon, M.: Uniform self-stabilizing ring orientation. Inform. Comput.\u00a0104, 175\u2013196 (1993)","journal-title":"Inform. Comput."},{"key":"15_CR10","doi-asserted-by":"crossref","unstructured":"Dolev, S., Gouda, M.G., Schneider, M.: Memory requirements for silent stabilization. In: PODC 1996 Proceedings of the Fifteenth Annual ACM Symposium on Principles of Distributed Computing, pp. 27\u201334 (1996)","DOI":"10.1145\/248052.248055"},{"key":"15_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"288","DOI":"10.1007\/BFb0022154","volume-title":"Distributed Algorithms","author":"G. Itkis","year":"1995","unstructured":"Itkis, G., Lin, C., Simon, J.: Deterministic, Constant Space, Self-Stabilizing Leader Election on Uniform Rings. In: Helary, J.-M., Raynal, M. (eds.) WDAG 1995. LNCS, vol.\u00a0972, pp. 288\u2013302. Springer, Heidelberg (1995)"},{"key":"15_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"458","DOI":"10.1007\/3-540-44681-8_67","volume-title":"Euro-Par 2001 Parallel Processing","author":"M. Gradinariu","year":"2001","unstructured":"Gradinariu, M., Johnen, C.: Self-stabilizing Neighborhood Unique Naming under Unfair Scheduler. In: Sakellariou, R., Keane, J.A., Gurd, J.R., Freeman, L. (eds.) Euro-Par 2001. LNCS, vol.\u00a02150, pp. 458\u2013465. Springer, Heidelberg (2001)"},{"key":"15_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"182","DOI":"10.1007\/978-3-540-77444-0_16","volume-title":"Distributed Computing and Networking","author":"W. Goddard","year":"2008","unstructured":"Goddard, W., Hedetniemi, S.T., Jacobs, D.P., Srimani, P.K.: Anonymous Daemon Conversion in Self-stabilizing Algorithms by Randomization in Constant Space. In: Rao, S., Chatterjee, M., Jayanti, P., Murthy, C.S.R., Saha, S.K. (eds.) ICDCN 2008. LNCS, vol.\u00a04904, pp. 182\u2013190. Springer, Heidelberg (2008)"},{"key":"15_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"223","DOI":"10.1007\/3-540-40026-5_15","volume-title":"Distributed Computing","author":"J. Beauquier","year":"2000","unstructured":"Beauquier, J., Datta, A.K., Gradinariu, M., Magniette, F.: Self-Stabilizing Local Mutual Exclusion and Daemon Refinement. In: Herlihy, M.P. (ed.) DISC 2000. LNCS, vol.\u00a01914, pp. 223\u2013237. Springer, Heidelberg (2000)"},{"key":"15_CR15","doi-asserted-by":"publisher","first-page":"77","DOI":"10.1016\/0020-0190(92)90015-N","volume":"43","author":"S.C. Hsu","year":"1992","unstructured":"Hsu, S.C., Huang, S.T.: A self-stabilizing algorithm for maximal matching. Inform. Process. Lett.\u00a043, 77\u201381 (1992)","journal-title":"Inform. Process. Lett."},{"key":"15_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"19","DOI":"10.1007\/3-540-45438-1_2","volume-title":"Self-Stabilizing Systems","author":"J. Beauquier","year":"2001","unstructured":"Beauquier, J., Gradinariu, M., Johnen, C.: Cross-Over Composition - Enforcement of Fairness under Unfair Adversary. In: Datta, A.K., Herman, T. (eds.) WSS 2001. LNCS, vol.\u00a02194, pp. 19\u201334. Springer, Heidelberg (2001)"},{"key":"15_CR17","doi-asserted-by":"publisher","first-page":"453","DOI":"10.1145\/361082.361093","volume":"17","author":"L. Lamport","year":"1974","unstructured":"Lamport, L.: A new solution of Dijkstra\u2019s concurrent programming problem. Communications of the ACM\u00a017, 453\u2013455 (1974)","journal-title":"Communications of the ACM"},{"key":"15_CR18","doi-asserted-by":"crossref","unstructured":"Awerbuch, B., Kutten, S., Mansour, Y., Patt-Shamir, B., Varghese, G.: Time optimal self-stabilizing synchronization. In: STOC 1993 Proceedings of the 25th Annual ACM Symposium on Theory of Computing, pp. 652\u2013661 (1993)","DOI":"10.1145\/167088.167256"},{"key":"15_CR19","doi-asserted-by":"publisher","first-page":"337","DOI":"10.1109\/71.920585","volume":"12","author":"M.H. Karaata","year":"2001","unstructured":"Karaata, M.H.: Self-stabilizing strong fairness under weak fairness. IEEE Trans. Parallel Distrib. Systems\u00a012, 337\u2013345 (2001)","journal-title":"IEEE Trans. Parallel Distrib. Systems"},{"key":"15_CR20","doi-asserted-by":"crossref","unstructured":"Gouda, M.G., Haddix, F.: The alternator. In: Proceedings of the Fourth Workshop on Self-Stabilizing Systems (published in association with ICDCS 1999), pp. 48\u201353. IEEE Computer Society (1999)","DOI":"10.1109\/SLFSTB.1999.777486"},{"key":"15_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"304","DOI":"10.1007\/3-540-61769-8_20","volume-title":"Distributed Algorithms","author":"M. Mizuno","year":"1996","unstructured":"Mizuno, M., Kakugawa, H.: A Timestamp Based Transformation of Self-Stabilizing Programs for Distributed Computing Environments. In: Babao\u011flu, \u00d6., Marzullo, K. (eds.) WDAG 1996. LNCS, vol.\u00a01151, pp. 304\u2013321. Springer, Heidelberg (1996)"},{"key":"15_CR22","doi-asserted-by":"crossref","unstructured":"Kakugawa, H., Mizuno, M., Nesterenko, M.: Development of self-stabilizing distributed algorithms using transformation: case studies. In: Proceedings of the Third Workshop on Self-Stabilizing Systems, pp. 16\u201330. Carleton University Press (1997)","DOI":"10.1515\/9780773591141-003"},{"issue":"5","key":"15_CR23","doi-asserted-by":"publisher","first-page":"766","DOI":"10.1006\/jpdc.2001.1828","volume":"62","author":"M. Nesterenko","year":"2002","unstructured":"Nesterenko, M., Arora, A.: Stabilization-preserving atomicity refinement. J. Parallel Distrib. Comput.\u00a062(5), 766\u2013791 (2002)","journal-title":"J. Parallel Distrib. Comput."},{"key":"15_CR24","unstructured":"Shukla, S., Rosenkrantz, D., Ravi, S.: Developing self-stabilizing coloring algorithms via systematic randomization. In: Proceedings of the International Workshop on Parallel Processing, pp. 668\u2013673 (1994)"},{"key":"15_CR25","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"265","DOI":"10.1007\/BFb0020439","volume-title":"Distributed Algorithms","author":"J.H. Hoepman","year":"1994","unstructured":"Hoepman, J.H.: Uniform Deterministic Self-Stabilizing Ring-Orientation on Odd-Length Rings. In: Tel, G., Vit\u00e1nyi, P.M.B. (eds.) WDAG 1994. LNCS, vol.\u00a0857, pp. 265\u2013279. Springer, Heidelberg (1994)"},{"key":"15_CR26","doi-asserted-by":"crossref","unstructured":"Angluin, D.: Global and local properties in networks of processors. In: Proc. 12th Symposium on the Theory of Computing, pp. 82\u201393 (1980)","DOI":"10.1145\/800141.804655"}],"container-title":["Lecture Notes in Computer Science","WALCOM: Algorithms and Computation"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-36065-7_15.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,4,29]],"date-time":"2025-04-29T17:54:12Z","timestamp":1745949252000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-36065-7_15"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642360640","9783642360657"],"references-count":26,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-36065-7_15","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2013]]}}}