{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,11]],"date-time":"2025-10-11T17:09:57Z","timestamp":1760202597148,"version":"3.41.0"},"reference-count":20,"publisher":"Association for Computing Machinery (ACM)","issue":"1","license":[{"start":{"date-parts":[[2009,1,1]],"date-time":"2009-01-01T00:00:00Z","timestamp":1230768000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":["ACM Trans. Auton. Adapt. Syst."],"published-print":{"date-parts":[[2009,1]]},"abstract":"<jats:p>\n            In this article, we show that some fundamental self- and snap-stabilizing wave protocols (e.g., token circulation,\n            <jats:italic>PIF<\/jats:italic>\n            , etc.) implicitly assume a very light property that we call\n            <jats:italic>BreakingIn<\/jats:italic>\n            . We prove that\n            <jats:italic>BreakingIn<\/jats:italic>\n            is strictly induced by self- and snap-stabilization. Combined with a transformer,\n            <jats:italic>BreakingIn<\/jats:italic>\n            allows to easily turn the non-fault-tolerant versions of those protocols into snap-stabilizing versions. Unlike the previous solutions, the transformed protocols are very efficient and work at least with the same daemon as the initial versions extended to satisfy\n            <jats:italic>BreakingIn<\/jats:italic>\n            . Finally, we show how to use an additional property of the transformer to design snap-stabilizing extensions of those fundamental protocols like Mutual Exclusion.\n          <\/jats:p>","DOI":"10.1145\/1462187.1462193","type":"journal-article","created":{"date-parts":[[2009,2,10]],"date-time":"2009-02-10T16:42:19Z","timestamp":1234284139000},"page":"1-27","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":28,"title":["Light enabling snap-stabilization of fundamental protocols"],"prefix":"10.1145","volume":"4","author":[{"given":"Alain","family":"Cournier","sequence":"first","affiliation":[{"name":"LaRIA CNRS, Amiens, France"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Stephane","family":"Devismes","sequence":"additional","affiliation":[{"name":"LaRIA CNRS, Amiens, France"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Vincent","family":"Villain","sequence":"additional","affiliation":[{"name":"LaRIA CNRS, Amiens, France"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2009,2,9]]},"reference":[{"key":"e_1_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1109\/SFCS.1985.20"},{"volume-title":"Proceedings of the 4th Workshop on Self-Stabilizing Systems. IEEE Computer Society Press, 78--85","author":"Bui A.","key":"e_1_2_1_2_1"},{"volume-title":"Proceedings of the 23th International Conference on Distributed Computing Systems (ICDCS'03)","author":"Cournier A.","key":"e_1_2_1_3_1"},{"key":"e_1_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1007\/11516798_20"},{"key":"e_1_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1093\/comjnl\/bxh154"},{"key":"e_1_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1007\/11577327_3"},{"key":"e_1_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.5555\/1759076.1759092"},{"key":"e_1_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICPADS.2006.100"},{"key":"e_1_2_1_9_1","unstructured":"Cournier A. Devismes S. and Villain V. 2007. Light enabling snap-stabilization. Tech. rep. 2007-04 LaRIA CNRS FRE 2733.  Cournier A. Devismes S. and Villain V. 2007. Light enabling snap-stabilization. Tech. rep. 2007-04 LaRIA CNRS FRE 2733."},{"key":"e_1_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1007\/11577327_5"},{"key":"e_1_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/361179.361202"},{"key":"e_1_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1109\/71.588622"},{"key":"e_1_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1007\/11945529_17"},{"key":"e_1_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF02278857"},{"key":"e_1_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1016\/0020-0190(92)90264-V"},{"key":"e_1_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/259380.259508"},{"key":"e_1_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1142\/S0129626402001026"},{"key":"e_1_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF02278852"},{"key":"e_1_2_1_19_1","unstructured":"Tel G. Second edition 2001. Introduction to Distributed Algorithms. Cambridge University Press Cambridge UK.   Tel G. Second edition 2001. Introduction to Distributed Algorithms. Cambridge University Press Cambridge UK."},{"volume-title":"Proceedings of the Journ\u00e9es Internationales sur l'auto-Stabilisation. CIRM, Luminy France.","year":"2002","author":"Villain V.","key":"e_1_2_1_20_1"}],"container-title":["ACM Transactions on Autonomous and Adaptive Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1462187.1462193","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1462187.1462193","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T13:30:15Z","timestamp":1750253415000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1462187.1462193"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009,1]]},"references-count":20,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2009,1]]}},"alternative-id":["10.1145\/1462187.1462193"],"URL":"https:\/\/doi.org\/10.1145\/1462187.1462193","relation":{},"ISSN":["1556-4665","1556-4703"],"issn-type":[{"type":"print","value":"1556-4665"},{"type":"electronic","value":"1556-4703"}],"subject":[],"published":{"date-parts":[[2009,1]]},"assertion":[{"value":"2007-02-01","order":0,"name":"received","label":"Received","group":{"name":"publication_history","label":"Publication History"}},{"value":"2008-09-01","order":1,"name":"accepted","label":"Accepted","group":{"name":"publication_history","label":"Publication History"}},{"value":"2009-02-09","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}