{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,5]],"date-time":"2025-10-05T04:36:37Z","timestamp":1759638997070,"version":"3.33.0"},"publisher-location":"Berlin, Heidelberg","reference-count":20,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540404538"},{"type":"electronic","value":"9783540450320"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2003]]},"DOI":"10.1007\/3-540-45032-7_15","type":"book-chapter","created":{"date-parts":[[2007,2,28]],"date-time":"2007-02-28T12:13:49Z","timestamp":1172664829000},"page":"199-214","source":"Crossref","is-referenced-by-count":11,"title":["An Improved Snap-Stabilizing PIF Algorithm"],"prefix":"10.1007","author":[{"given":"L\u00e9lia","family":"Blin","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alain","family":"Cournier","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Vincent","family":"Villain","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2003,5,27]]},"reference":[{"key":"15_CR1","series-title":"Lect Notes Comput Sci","first-page":"15","volume-title":"WDAG90 Distributed Algorithms 4th International Workshop Proceedings","author":"Y. Afek","year":"1990","unstructured":"Y Afek, S Kutten, and M Yung. Memory-efficient self-stabilization on general networks. In WDAG90 Distributed Algorithms 4th International Workshop Proceedings, Springer-Verlag LNCS: 486, pages 15\u201328, 1990. 200"},{"key":"15_CR2","doi-asserted-by":"crossref","unstructured":"L.O. Alima, J. Beauquier, A.K. Datta, and S. Tixeuil. Self-stabilization with global rooted synchronizers. In ICDCS98 Proceedings of the 18th International Conference on Distributed Computing Systems, pages 102\u2013109, 1998. 200","DOI":"10.1109\/ICDCS.1998.679492"},{"key":"15_CR3","doi-asserted-by":"publisher","first-page":"1026","DOI":"10.1109\/12.312126","volume":"43","author":"A. Arora","year":"1994","unstructured":"A Arora and MG Gouda. Distributed reset. IEEE Transactions on Computers, 43:1026\u20131038, 1994. 200","journal-title":"IEEE Transactions on Computers"},{"key":"15_CR4","doi-asserted-by":"crossref","unstructured":"B Awerbuch, S Kutten, Y Mansour, B Patt-Shamir, and G Varghese. Time optimal self-stabilizing synchronization. In STOC93 Proceedings of the 25th Annual ACM Symposium on Theory of Computing, pages 652\u2013661, 1993. 200","DOI":"10.1145\/167088.167256"},{"key":"15_CR5","doi-asserted-by":"crossref","unstructured":"B Awerbuch, B Patt-Shamir, and G Varghese. Self-stabilization by local checking and correction. In FOCS91 Proceedings of the 31st Annual IEEE Symposium on Foundations of Computer Science, pages 268\u2013277, 1991. 200","DOI":"10.1109\/SFCS.1991.185378"},{"key":"15_CR6","doi-asserted-by":"crossref","unstructured":"B Awerbuch and G Varghese. Distributed program checking: a paradigm for building self-stabilizing distributed protocols. In FOCS91 Proceedings of the 31st Annual IEEE Symposium on Foundations of Computer Science, pages 258\u2013267, 1991. 200","DOI":"10.1109\/SFCS.1991.185377"},{"key":"15_CR7","doi-asserted-by":"crossref","unstructured":"A Bui, AK Datta, F Petit, and V Villain. State-optimal snap-stabilizing PI F in tree networks. In Proceedings of the Forth Workshop on Self-Stabilizing Systems, pages 78\u201385. IEEE Computer Society Press, 1999. 199, 200","DOI":"10.1109\/SLFSTB.1999.777490"},{"key":"15_CR8","doi-asserted-by":"publisher","first-page":"391","DOI":"10.1109\/TSE.1982.235573","volume":"SE-8","author":"E.J.H. Chang","year":"1982","unstructured":"EJH Chang. Echo algorithms: depth parallel operations on general graphs. IEEE Transactions on Software Engineering, SE-8:391\u2013401, 1982. 199","journal-title":"IEEE Transactions on Software Engineering"},{"key":"15_CR9","doi-asserted-by":"crossref","unstructured":"A Cournier, AK Datta, F Petit, and V Villain. Self-stabilizing PIF algorithm in arbitrary rooted networks. In 21st International Conference on Distributed Computing Systems (ICDCS-21), pages 91\u201398. IEEE Computer Society Press, 2001. 200","DOI":"10.1109\/ICDSC.2001.918937"},{"key":"15_CR10","doi-asserted-by":"crossref","unstructured":"A Cournier, AK Datta, F Petit, and V Villain. Snap-stabilizing PIF algorithm in arbitrary rooted networks. In 22st International Conference on Distributed Computing Systems (ICDCS-22), pages 199\u2013206. IEEE Computer Society Press, 2002. 199, 200, 212, 213","DOI":"10.1109\/ICDCS.2002.1022257"},{"key":"15_CR11","doi-asserted-by":"crossref","unstructured":"A Cournier, AK Datta, F Petit, and V Villain. Enabling snap-stabilization. In 23rd International Conference on Distributed Computing Systems (ICDCS-23). To appear, 2003. 212","DOI":"10.1109\/ICDCS.2003.1203447"},{"key":"15_CR12","doi-asserted-by":"crossref","first-page":"643","DOI":"10.1145\/361179.361202","volume":"17","author":"E.W. Dijkstra","year":"1974","unstructured":"EW Dijkstra. Self stabilizing systems in spite of distributed control. Communications of the Association of the Computing Machinery, 17:643\u2013644, 1974. 199","journal-title":"Communications of the Association of the Computing Machinery"},{"issue":"4","key":"15_CR13","doi-asserted-by":"publisher","first-page":"424","DOI":"10.1109\/71.588622","volume":"8","author":"S. Dolev","year":"1997","unstructured":"S Dolev, A Israeli, and S Moran. Uniform dynamic self-stabilizing leader election. IEEE Transactions on Parallel and Distributed Systems, 8(4):424\u2013440, 1997. 200, 201","journal-title":"IEEE Transactions on Parallel and Distributed Systems"},{"key":"15_CR14","doi-asserted-by":"publisher","first-page":"17","DOI":"10.1007\/BF02278852","volume":"7","author":"S. Katz","year":"1993","unstructured":"S Katz and KJ Perry. Self-stabilizing extensions for message-passing systems. Distributed Computing, 7:17\u201326, 1993. 200, 213","journal-title":"Distributed Computing"},{"key":"15_CR15","doi-asserted-by":"publisher","first-page":"91","DOI":"10.1016\/0020-0190(79)90151-0","volume":"8","author":"H.S.M. Kruijer","year":"1979","unstructured":"HSM Kruijer. Self-stabilization (in spite of distributed control) in tree-structured systems. Information Processing Letters, 8:91\u201395, 1979. 200","journal-title":"Information Processing Letters"},{"key":"15_CR16","unstructured":"N Lynch. Distributed algorithms. Morgan Kaufmann, 1996. 199"},{"key":"15_CR17","volume-title":"Synchronization and Control of Distributed Systems and Programs","author":"M. Raynal","year":"1990","unstructured":"M Raynal and JM Helary. Synchronization and Control of Distributed Systems and Programs. John Wiley and Sons, Chichester, UK, 1990. 199"},{"key":"15_CR18","doi-asserted-by":"publisher","first-page":"23","DOI":"10.1109\/TIT.1983.1056620","volume":"IT-29","author":"A. Segall","year":"1983","unstructured":"A Segall. Distributed network protocols. IEEE Transactions on Information Theory, IT-29:23\u201335, 1983. 199","journal-title":"IEEE Transactions on Information Theory"},{"key":"15_CR19","doi-asserted-by":"crossref","unstructured":"G Tel. Introduction to distributed algorithms. Cambridge University Press, 1994. 199","DOI":"10.1007\/BFb0020419"},{"key":"15_CR20","unstructured":"G Varghese. Self-stabilization by local checking and correction (Ph.D. thesis). Technical Report MIT\/LCS\/TR-583, MIT, 1993. 200"}],"container-title":["Lecture Notes in Computer Science","Self-Stabilizing Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-45032-7_15","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,14]],"date-time":"2025-01-14T09:25:22Z","timestamp":1736846722000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45032-7_15"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003]]},"ISBN":["9783540404538","9783540450320"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/3-540-45032-7_15","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2003]]}}}