{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,5]],"date-time":"2025-10-05T04:34:20Z","timestamp":1759638860883},"publisher-location":"Berlin, Heidelberg","reference-count":29,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540584490"},{"type":"electronic","value":"9783540487999"}],"license":[{"start":{"date-parts":[[1994,1,1]],"date-time":"1994-01-01T00:00:00Z","timestamp":757382400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1994]]},"DOI":"10.1007\/bfb0020443","type":"book-chapter","created":{"date-parts":[[2005,11,13]],"date-time":"2005-11-13T06:21:02Z","timestamp":1131862862000},"page":"326-339","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":38,"title":["Self-stabilization by local checking and global reset"],"prefix":"10.1007","author":[{"given":"Baruch","family":"Awerbuch","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Boaz","family":"Patt-Shamir","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"George","family":"Varghese","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Shlomi","family":"Dolev","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,10]]},"reference":[{"key":"24_CR1","doi-asserted-by":"crossref","unstructured":"Yehuda Afek, Baruch Awerbuch, and Eli Gafni. Applying static network protocols to dynamic networks. In Proc. 28th IEEE Symp. on Foundations of Computer Science, October 1987.","DOI":"10.1109\/SFCS.1987.7"},{"key":"24_CR2","doi-asserted-by":"crossref","unstructured":"Anish Arora and Mohamed G. Gouda. Distributed reset. In Proc. 10th Conf. on Foundations of Software Technology and Theoretical Computer Science, pages 316\u2013331. Spinger-Verlag (LNCS 472), 1990.","DOI":"10.1007\/3-540-53487-3_54"},{"issue":"4","key":"24_CR3","doi-asserted-by":"crossref","first-page":"381","DOI":"10.1002\/net.3230160405","volume":"16","author":"B. Awerbuch","year":"1986","unstructured":"Baruch Awerbuch and Shimon Even. Reliable broadcast protocols in unreliable networks. Networks, 16(4):381\u2013396, Winter 1986.","journal-title":"Networks"},{"key":"24_CR4","doi-asserted-by":"crossref","unstructured":"Baruch Awerbuch, Shay Kutten, Yishay Mansour, Boaz Patt-Shamir, and George Varghese. Time optimal self-stabilizing synchronization. In Proc. 25th ACM Symp. on Theory of Computing, May 1993.","DOI":"10.1145\/167088.167256"},{"key":"24_CR5","first-page":"15","volume-title":"LNCS 486","author":"Y. Afek","year":"1990","unstructured":"Yehuda Afek, Shay Kutten, and Moti Yung. Memory-efficient self-stabilization on general networks. In Proc. 4th Workshop on Distributed Algorithms, pages 15\u201328, Italy, September 1990. Springer-Verlag (LNCS 486)."},{"key":"24_CR6","unstructured":"Baruch Awerbuch, Boaz Patt-Shamir, and George Varghese. Self-stabilization by local checking and correction. In Proc. 32nd IEEE Symp. on Foundations of Computer Science, October 1991."},{"key":"24_CR7","unstructured":"Baruch Awerbuch and George Varghese. Distributed program checking: a paradigm for building self-stabilizing distributed protocols. In Proc. 32nd IEEE Symp. on Foundations of Computer Science, October 1991."},{"key":"24_CR8","doi-asserted-by":"crossref","unstructured":"Baruch Awerbuch and Rafail Ostrovsky. Memory-efficient and self-stabilizing network RESET. In Proc. 13th ACM Symp. on Principles of Distributed Computing, August 1994.","DOI":"10.1145\/197917.198104"},{"issue":"2","key":"24_CR9","doi-asserted-by":"publisher","first-page":"330","DOI":"10.1145\/63264.63403","volume":"11","author":"J.E. Burns","year":"1989","unstructured":"J.E. Burns and J. Pachl. Uniform self-stabilizing rings. ACM Transactions on Programming Languages and Systems, 11(2):330\u2013344, 1989.","journal-title":"ACM Transactions on Programming Languages and Systems"},{"issue":"1","key":"24_CR10","doi-asserted-by":"publisher","first-page":"63","DOI":"10.1145\/214451.214456","volume":"3","author":"K. M. Chandy","year":"1985","unstructured":"K. Mani Chandy and Leslie Lamport. Distributed snapshots: Determining global states of distributed systems. ACM Trans. on Comput. Syst., 3(1):63\u201375, February 1985.","journal-title":"ACM Trans. on Comput. Syst."},{"key":"24_CR11","doi-asserted-by":"publisher","first-page":"643","DOI":"10.1145\/361179.361202","volume":"17","author":"E. W. Dijkstra","year":"1974","unstructured":"Edsger W. Dijkstra. Self stabilization in spite of distributed control. Comm. of the ACM, 17:643\u2013644, 1974.","journal-title":"Comm. of the ACM"},{"key":"24_CR12","doi-asserted-by":"crossref","unstructured":"Shlomi Dolev, Amos Israeli, and Shlomo Moran. Self-stabilization of dynamic systems assuming only read\/write atomicity. In Proc. 10th ACM Symp. on Principles of Distributed Computing, August 1990.","DOI":"10.1145\/93385.93407"},{"key":"24_CR13","doi-asserted-by":"crossref","unstructured":"Shlomi Dolev, Amos Israeli, and Shlomo Moran. Resource bounds for self-stabilizing message driven protocols. In Proc. 11th ACM Symp. on Principles of Distributed Computing, Aug. 1991.","DOI":"10.1145\/112600.112624"},{"issue":"6","key":"24_CR14","doi-asserted-by":"publisher","first-page":"840","DOI":"10.1109\/TCOM.1979.1094473","volume":"COM-27","author":"S. G. Finn","year":"1979","unstructured":"Steven G. Finn. Resynch procedures and a fail-safe network protocol. IEEE Trans. on Commun., COM-27(6):840\u2013845, June 1979.","journal-title":"IEEE Trans. on Commun."},{"key":"24_CR15","doi-asserted-by":"publisher","first-page":"155","DOI":"10.1016\/0376-5075(77)90002-2","volume":"1","author":"L. Kleinrock","year":"1977","unstructured":"L. Kleinrock and F. Kamoun. Hierarchical routing for large networks; performance evaluation and optimization. Computer Networks, 1:155\u2013174, 1977.","journal-title":"Computer Networks"},{"key":"24_CR16","doi-asserted-by":"crossref","unstructured":"Shmuel Katz and Kenneth Perry. Self-stabilizing extensions for message-passing systems. In Proc. 10th ACM Symp. on Principles of Distributed Computing, August 1990.","DOI":"10.1145\/93385.93405"},{"issue":"3","key":"24_CR17","first-page":"219","volume":"2","author":"N. A. Lynch","year":"1989","unstructured":"Nancy A. Lynch and Mark R. Tuttle. An introduction to input\/output automata. CWI Quarterly, 2(3):219\u2013246, 1989.","journal-title":"CWI Quarterly"},{"key":"24_CR18","first-page":"408","volume":"91","author":"M. Merritt","year":"1991","unstructured":"M. Merritt, F. Modugno, and M.R. Tuttle. Time constrained automata. In CONCUR 91, pages 408\u2013423, 1991.","journal-title":"CONCUR"},{"issue":"5","key":"24_CR19","doi-asserted-by":"publisher","first-page":"711","DOI":"10.1109\/TCOM.1980.1094721","volume":"28","author":"J. McQuillan","year":"1980","unstructured":"John McQuillan, Ira Richer, and Eric Rosen. The new routing algorithm for the arpanet. IEEE Trans. on Commun., 28(5):711\u2013719, May 1980.","journal-title":"IEEE Trans. on Commun."},{"key":"24_CR20","doi-asserted-by":"crossref","unstructured":"Radia Perlman. Fault tolerant broadcast of routing information. Computer Networks, Dec. 1983.","DOI":"10.1016\/0376-5075(83)90034-X"},{"key":"24_CR21","doi-asserted-by":"crossref","unstructured":"Radia Perlman. An algorithm for distributed computation of a spanning tree in an extended LAN. In Proceedings of the the 9th Data Communication Symposium, pages 44\u201353, September 1985.","DOI":"10.1145\/319056.319004"},{"key":"24_CR22","unstructured":"Radia Perlman, George Varghese, and Anthony Lauck. Reliable broadcast of information in a wide area network. US Patent 5,085,428, February 1992."},{"key":"24_CR23","unstructured":"Thomas Rodeheffer and Michael Schroeder. Automatic reconfiguration in the Autonet. Proceedings of the 14th Symposium on Operating Systems Principles, November 1993."},{"key":"24_CR24","unstructured":"Thomas Rodeheffer and Michael Schroeder. Personal communication."},{"key":"24_CR25","doi-asserted-by":"crossref","unstructured":"M. Schroeder, A. Birrell, M. Burrows, H. Murray, R. Needham, T. Rodeheffer, E. Sattenthwaite, and C.Thacker. Autonet: a high-speed, self-configuring local area network using point-to-point links. Technical Report 59, Digital System Research Center, April 1990.","DOI":"10.1109\/49.105178"},{"key":"24_CR26","unstructured":"John M. Spinelli. Reliable communication. Ph.d. thesis, MIT, Lab. for Information and Decision Systems, December 1988."},{"key":"24_CR27","unstructured":"A. Tanenbaum. Computer Networks. Prentice Hall, 2nd. edition, 1989."},{"key":"24_CR28","unstructured":"George Varghese. Self-stabilization by local checking and correction. Ph.D. Thesis MIT\/LCS\/TR-583, Massachusetts Institute of Technology, 1992."},{"key":"24_CR29","doi-asserted-by":"crossref","unstructured":"George Varghese. Self-stabilization by counter flushing. In Proc. 13th ACM Symp. on Principles of Distributed Computing, August 1994.","DOI":"10.1145\/197917.198102"}],"container-title":["Lecture Notes in Computer Science","Distributed Algorithms"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0020443","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,5,5]],"date-time":"2023-05-05T10:57:10Z","timestamp":1683284230000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0020443"}},"subtitle":["Extended abstract"],"short-title":[],"issued":{"date-parts":[[1994]]},"ISBN":["9783540584490","9783540487999"],"references-count":29,"URL":"https:\/\/doi.org\/10.1007\/bfb0020443","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1994]]},"assertion":[{"value":"10 June 2005","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}