{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,10]],"date-time":"2025-11-10T14:55:27Z","timestamp":1762786527256,"version":"build-2065373602"},"reference-count":26,"publisher":"Springer Science and Business Media LLC","issue":"4","license":[{"start":{"date-parts":[[2025,5,25]],"date-time":"2025-05-25T00:00:00Z","timestamp":1748131200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2025,5,25]],"date-time":"2025-05-25T00:00:00Z","timestamp":1748131200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"funder":[{"DOI":"10.13039\/501100001665","name":"Agence Nationale de la Recherche","doi-asserted-by":"publisher","award":["ANR-24-CE48-7768","ANR-22-CE25-0008","ANR-22-CE25-0008","ANR-22-CE25-0008"],"award-info":[{"award-number":["ANR-24-CE48-7768","ANR-22-CE25-0008","ANR-22-CE25-0008","ANR-22-CE25-0008"]}],"id":[{"id":"10.13039\/501100001665","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Distrib. Comput."],"published-print":{"date-parts":[[2025,12]]},"DOI":"10.1007\/s00446-025-00484-w","type":"journal-article","created":{"date-parts":[[2025,5,25]],"date-time":"2025-05-25T02:59:11Z","timestamp":1748141951000},"page":"357-375","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Silent anonymous snap-stabilizing termination detection"],"prefix":"10.1007","volume":"38","author":[{"ORCID":"https:\/\/orcid.org\/0000-0003-0342-9243","authenticated-orcid":false,"given":"L\u00e9lia","family":"Blin","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-7170-4521","authenticated-orcid":false,"given":"Colette","family":"Johnen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0009-0001-2479-5405","authenticated-orcid":false,"given":"Gabriel","family":"Le Bouder","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-0948-7842","authenticated-orcid":false,"given":"Franck","family":"Petit","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2025,5,25]]},"reference":[{"issue":"1","key":"484_CR1","doi-asserted-by":"publisher","first-page":"42","DOI":"10.1145\/357084.357087","volume":"2","author":"N Francez","year":"1980","unstructured":"Francez, N.: Distributed termination. ACM Trans. Program. Lang. Syst. 2(1), 42\u201355 (1980)","journal-title":"ACM Trans. Program. Lang. Syst."},{"issue":"11","key":"484_CR2","doi-asserted-by":"publisher","first-page":"643","DOI":"10.1145\/361179.361202","volume":"17","author":"EW Dijkstra","year":"1974","unstructured":"Dijkstra, E.W.: Self-stabilizing systems in spite of distributed control. Commun. ACM 17(11), 643\u2013644 (1974). https:\/\/doi.org\/10.1145\/361179.361202","journal-title":"Commun. ACM"},{"key":"484_CR3","doi-asserted-by":"publisher","DOI":"10.7551\/mitpress\/6156.001.0001","volume-title":"Self-Stabilization","author":"S Dolev","year":"2000","unstructured":"Dolev, S.: Self-Stabilization. MIT Press, Cambridge (2000)"},{"volume-title":"Introduction to Distributed Self-Stabilizing Algorithms","year":"2019","key":"484_CR4","unstructured":"Altisen, K., Devismes, S., Dubois, S., Petit, F. (eds.): Introduction to Distributed Self-Stabilizing Algorithms. Synthesis Lectures on Distributed Computing. Morgan & Claypool Publishers, San Rafael (2019)"},{"key":"484_CR5","doi-asserted-by":"publisher","first-page":"40","DOI":"10.1016\/j.tcs.2016.01.036","volume":"626","author":"A Cournier","year":"2016","unstructured":"Cournier, A., Datta, A.K., Devismes, S., Petit, F., Villain, V.: The expressive power of snap-stabilization. Theor. Comput. Sci. 626, 40\u201366 (2016). https:\/\/doi.org\/10.1016\/j.tcs.2016.01.036","journal-title":"Theor. Comput. Sci."},{"issue":"1","key":"484_CR6","first-page":"3","volume":"20","author":"A Bui","year":"2007","unstructured":"Bui, A., Datta, A.K., Petit, F., Villain, V.: Snap-stabilization and PIF in tree networks. Distributed Computing 20(1), 3\u201319 (2007)","journal-title":"Distributed Computing"},{"key":"484_CR7","doi-asserted-by":"crossref","unstructured":"Angluin, D.: Local and global properties in networks of processors. In: Proceedings of the 12th Annual ACM Symposium on Theory of Computing (STOC \u201980), pp. 82\u201393 (1980)","DOI":"10.1145\/800141.804655"},{"key":"484_CR8","doi-asserted-by":"publisher","unstructured":"Lin, C., Simon, J.: Observing self-stabilization. In: Hutchinson, N.C. (ed.) Proceedings of the Eleventh Annual ACM Symposium on Principles of Distributed Computing, Vancouver, British Columbia, Canada, August 10-12, 1992, pp. 113\u2013123 (1992). https:\/\/doi.org\/10.1145\/135419.135444","DOI":"10.1145\/135419.135444"},{"issue":"1","key":"484_CR9","doi-asserted-by":"publisher","first-page":"3","DOI":"10.3233\/HSN-2005-252","volume":"14","author":"J Beauquier","year":"2005","unstructured":"Beauquier, J., Pilard, L., Rozoy, B.: Observing locally self-stabilization. J. High Speed Networks 14(1), 3\u201319 (2005)","journal-title":"J. High Speed Networks"},{"issue":"10","key":"484_CR10","doi-asserted-by":"publisher","first-page":"516","DOI":"10.2514\/1.19858","volume":"3","author":"J Beauquier","year":"2006","unstructured":"Beauquier, J., Pilard, L., Rozoy, B.: Observing locally self-stabilization in a probabilistic way. J. Aerosp. Comput. Inf. Commun. 3(10), 516\u2013537 (2006)","journal-title":"J. Aerosp. Comput. Inf. Commun."},{"key":"484_CR11","doi-asserted-by":"crossref","unstructured":"Couvreur, J., Francez, N., Gouda, M.: Asynchronous unison. In: Proceedings of the 12th IEEE International Conference on Distributed Computing Systems (ICDCS\u201992), pp. 486\u2013493 (1992)","DOI":"10.1109\/ICDCS.1992.235005"},{"key":"484_CR12","doi-asserted-by":"publisher","unstructured":"Boulinier, C., Petit, F., Villain, V.: When graph theory helps self-stabilization. In: Proceedings of the Twenty-Third Annual ACM Symposium on Principles of Distributed Computing, PODC 2004, pp. 150\u2013159 (2004). https:\/\/doi.org\/10.1145\/1011767.1011790","DOI":"10.1145\/1011767.1011790"},{"issue":"1","key":"484_CR13","doi-asserted-by":"publisher","first-page":"61","DOI":"10.1007\/s00453-007-9066-x","volume":"51","author":"C Boulinier","year":"2008","unstructured":"Boulinier, C., Petit, F., Villain, V.: Synchronous vs. asynchronous unison. Algorithmica 51(1), 61\u201380 (2008)","journal-title":"Algorithmica"},{"key":"484_CR14","doi-asserted-by":"publisher","unstructured":"Devismes, S., Johnen, C.: Self-stabilizing distributed cooperative reset. In: 39th IEEE International Conference on Distributed Computing Systems, ICDCS 2019, pp. 379\u2013389 (2019). https:\/\/doi.org\/10.1109\/ICDCS.2019.00045","DOI":"10.1109\/ICDCS.2019.00045"},{"key":"484_CR15","doi-asserted-by":"crossref","unstructured":"Emek, Y., Keren, E.: A thin self-stabilizing asynchronous unison algorithm with applications to fault tolerant biological networks. In: PODC \u201921: ACM Symposium on Principles of Distributed Computing, pp. 93\u2013102 (2021)","DOI":"10.1145\/3465084.3467922"},{"key":"484_CR16","unstructured":"Devismes, S., Ilcinkas, D., Johnen, C., Mazoit, F.: Trade-off between Time, Space, and Workload: the case of the Self-stabilizing Unison (2023). https:\/\/arxiv.org\/pdf\/2307.16593"},{"key":"484_CR17","doi-asserted-by":"publisher","unstructured":"Boulinier, C., Levert, M., Petit, F.: Snap-stabilizing waves in anonymous networks. In: Distributed Computing and Networking, 9th International Conference, ICDCN 2008. Lecture Notes in Computer Science, vol. 4904, pp. 191\u2013202 (2008). https:\/\/doi.org\/10.1007\/978-3-540-77444-0_17","DOI":"10.1007\/978-3-540-77444-0_17"},{"key":"484_CR18","doi-asserted-by":"crossref","unstructured":"Tel, G.: Total algorithms. In: Springer, V.F.e. (ed.) Concurrency 88, vol. LNCS 335, pp. 277\u2013291 (1988)","DOI":"10.1007\/3-540-50403-6_45"},{"key":"484_CR19","doi-asserted-by":"crossref","unstructured":"Szymanski, B.K., Shi, Y., Prywes, N.S.: Terminating iterative solution of simultaneous equations in distributed message passing systems. In: Malcolm, M.A., Strong, H.R. (eds.) Proceedings of the Fourth Annual ACM Symposium on Principles of Distributed Computing, Minaki, Ontario, Canada, August 5-7, 1985, pp. 287\u2013292 (1985)","DOI":"10.1145\/323596.323623"},{"issue":"2","key":"484_CR20","doi-asserted-by":"publisher","first-page":"326","DOI":"10.1007\/s00224-018-9868-z","volume":"63","author":"E Godard","year":"2019","unstructured":"Godard, E.: Snap-stabilizing tasks in anonymous networks. Theory Comput. Syst. 63(2), 326\u2013343 (2019)","journal-title":"Theory Comput. Syst."},{"issue":"6","key":"484_CR21","doi-asserted-by":"publisher","first-page":"299","DOI":"10.1016\/S0020-0190(01)00291-5","volume":"82","author":"E Godard","year":"2002","unstructured":"Godard, E.: A self-stabilizing enumeration algorithm. Inf. Process. Lett. 82(6), 299\u2013305 (2002)","journal-title":"Inf. Process. Lett."},{"issue":"5","key":"484_CR22","doi-asserted-by":"publisher","first-page":"233","DOI":"10.1016\/S0020-0190(97)00022-7","volume":"61","author":"AW Mazurkiewicz","year":"1997","unstructured":"Mazurkiewicz, A.W.: Distributed enumeration. Inf. Process. Lett. 61(5), 233\u2013239 (1997)","journal-title":"Inf. Process. Lett."},{"key":"484_CR23","doi-asserted-by":"crossref","unstructured":"Dolev, S., Gouda, M., Schneider, M.: Memory requirements for silent stabilization. In: PODC96 Proceedings of the 15th Annual ACM Symposium on Principles of Distributed Computing, pp. 27\u201334 (1996)","DOI":"10.1145\/248052.248055"},{"key":"484_CR24","doi-asserted-by":"crossref","unstructured":"Gouda, M., Haddix, F.: The alternator. In: Proceedings of the Fourth Workshop on Self-Stabilizing Systems, pp. 48\u201353 (1999)","DOI":"10.1109\/SLFSTB.1999.777486"},{"key":"484_CR25","unstructured":"Dubois, S., Tixeuil, S.: A Taxonomy of Daemons in Self-stabilization. arXiv: http:\/\/arxiv.org\/abs\/1110.0334 (2011)"},{"key":"484_CR26","volume-title":"Graphs and Hypergraphs","author":"C Berge","year":"1985","unstructured":"Berge, C.: Graphs and Hypergraphs. Elsevier Science Ltd, GBR (1985)"}],"container-title":["Distributed Computing"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s00446-025-00484-w.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s00446-025-00484-w\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s00446-025-00484-w.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,11,10]],"date-time":"2025-11-10T14:53:41Z","timestamp":1762786421000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s00446-025-00484-w"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,5,25]]},"references-count":26,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2025,12]]}},"alternative-id":["484"],"URL":"https:\/\/doi.org\/10.1007\/s00446-025-00484-w","relation":{},"ISSN":["0178-2770","1432-0452"],"issn-type":[{"type":"print","value":"0178-2770"},{"type":"electronic","value":"1432-0452"}],"subject":[],"published":{"date-parts":[[2025,5,25]]},"assertion":[{"value":"20 November 2023","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"17 April 2025","order":2,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"25 May 2025","order":3,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}