{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,14]],"date-time":"2025-05-14T00:40:04Z","timestamp":1747183204566,"version":"3.40.5"},"publisher-location":"Cham","reference-count":31,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319144719"},{"type":"electronic","value":"9783319144726"}],"license":[{"start":{"date-parts":[[2014,1,1]],"date-time":"2014-01-01T00:00:00Z","timestamp":1388534400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-319-14472-6_22","type":"book-chapter","created":{"date-parts":[[2014,12,9]],"date-time":"2014-12-09T09:44:09Z","timestamp":1418118249000},"page":"323-338","source":"Crossref","is-referenced-by-count":2,"title":["Fast and Compact Distributed Verification and\u00a0Self-stabilization of a DFS Tree"],"prefix":"10.1007","author":[{"given":"Shay","family":"Kutten","sequence":"first","affiliation":[]},{"given":"Chhaya","family":"Trehan","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"unstructured":"Afek, Y., Kutten, S., Yung, M.: The local detection paradigm and its applications to self-stabilization","key":"22_CR1"},{"issue":"3","key":"22_CR2","doi-asserted-by":"publisher","first-page":"147","DOI":"10.1016\/0020-0190(85)90083-3","volume":"20","author":"B. Awerbuch","year":"1985","unstructured":"Awerbuch, B.: A new distributed depth-first-search algorithm. Information Processing Letters\u00a020(3), 147\u2013150 (1985)","journal-title":"Information Processing Letters"},{"key":"22_CR3","first-page":"258","volume-title":"Proceedings of the 32nd Annual Symposium on Foundations of Computer Science, SFCS, 1991","author":"B. Awerbuch","year":"1991","unstructured":"Awerbuch, B., Varghese, G.: Distributed program checking: A paradigm for building self-stabilizing distributed protocols (extended abstract). In: Proceedings of the 32nd Annual Symposium on Foundations of Computer Science, SFCS, 1991, pp. 258\u2013267. IEEE Computer Society, Washington, DC (1991)"},{"issue":"10","key":"22_CR4","doi-asserted-by":"publisher","first-page":"1209","DOI":"10.1109\/TC.1987.1676861","volume":"100","author":"I. Chlamtac","year":"1987","unstructured":"Chlamtac, I., Kutten, S.: Tree-based broadcasting in multihop radio networks. IEEE Transactions on Computers\u00a0100(10), 1209\u20131223 (1987)","journal-title":"IEEE Transactions on Computers"},{"issue":"6","key":"22_CR5","doi-asserted-by":"publisher","first-page":"301","DOI":"10.1016\/0020-0190(88)90187-1","volume":"26","author":"I. Cidon","year":"1988","unstructured":"Cidon, I.: Yet another distributed depth-first-search algorithm. Inf. Process. Lett.\u00a026(6), 301\u2013305 (1988)","journal-title":"Inf. Process. Lett."},{"issue":"6","key":"22_CR6","doi-asserted-by":"publisher","first-page":"297","DOI":"10.1016\/0020-0190(94)90103-1","volume":"49","author":"Z. Collin","year":"1994","unstructured":"Collin, Z., Dolev, S.: Self-stabilizing depth-first search. Information Processing Letters\u00a049(6), 297\u2013301 (1994)","journal-title":"Information Processing Letters"},{"doi-asserted-by":"crossref","unstructured":"Cournier, A., Devismes, S., Petit, F., Villain, V.: Snap-stabilizing depth-first search on arbitrary networks. Comput. J., 268\u2013280 (2006)","key":"22_CR7","DOI":"10.1093\/comjnl\/bxh154"},{"key":"22_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"33","DOI":"10.1007\/11577327_3","volume-title":"Self-Stabilizing Systems","author":"A. Cournier","year":"2005","unstructured":"Cournier, A., Devismes, S., Villain, V.: A snap-stabilizing DFS with a lower space requirement. In: Tixeuil, S., Herman, T. (eds.) SSS 2005. LNCS, vol.\u00a03764, pp. 33\u201347. Springer, Heidelberg (2005)"},{"issue":"4","key":"22_CR9","doi-asserted-by":"publisher","first-page":"207","DOI":"10.1007\/PL00008919","volume":"13","author":"A.K. Datta","year":"2000","unstructured":"Datta, A.K., Johnen, C., Petit, F., Villain, V.: Self-stabilizing depth-first token circulation in arbitrary rooted networks. Distrib. Comput.\u00a013(4), 207\u2013218 (2000)","journal-title":"Distrib. Comput."},{"issue":"11","key":"22_CR10","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. Commun. ACM\u00a017(11), 643\u2013644 (1974)","journal-title":"Commun. ACM"},{"doi-asserted-by":"crossref","unstructured":"Dolev, S.: Self-stabilization. MIT Press (2000)","key":"22_CR11","DOI":"10.7551\/mitpress\/6156.001.0001"},{"issue":"6","key":"22_CR12","doi-asserted-by":"publisher","first-page":"447","DOI":"10.1007\/s002360050180","volume":"36","author":"S. Dolev","year":"1999","unstructured":"Dolev, S., Gouda, M.G., Schneider, M.: Memory requirements for silent stabilization. Acta Informatica\u00a036(6), 447\u2013462 (1999)","journal-title":"Acta Informatica"},{"issue":"1","key":"22_CR13","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(1), 3\u201316 (1993)","journal-title":"Distrib. Comput."},{"issue":"1","key":"22_CR14","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(1), 3\u201316 (1993)","journal-title":"Distrib. Comput."},{"key":"22_CR15","volume-title":"Graph Algorithms","author":"S. Even","year":"1979","unstructured":"Even, S.: Graph Algorithms. W. H. Freeman & Co., New York (1979)"},{"doi-asserted-by":"crossref","unstructured":"G\u00f6\u00f6s, M., Suomela Locally, J.: checkable proofs. In: Proceedings of the 30th Annual ACM Symposium on Principles of Distributed Computing, PODC 2011, San Jose, CA, USA, June 6-8, pp. 159\u2013168 (2011)","key":"22_CR16","DOI":"10.1145\/1993806.1993829"},{"issue":"1","key":"22_CR17","doi-asserted-by":"publisher","first-page":"61","DOI":"10.1007\/BF02278857","volume":"7","author":"S.-T. Huang","year":"1993","unstructured":"Huang, S.-T., Chen, N.-S.: Self-stabilizing depth-first token circulation on networks. Distributed Computing\u00a07(1), 61\u201366 (1993)","journal-title":"Distributed Computing"},{"key":"22_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"260","DOI":"10.1007\/BFb0030689","volume-title":"Distributed Algorithms","author":"C. Johnen","year":"1997","unstructured":"Johnen, C., Alari, G., Beauquier, J., Datta, A.K.: Self-stabilizing depth-first token passing on rooted networks. In: Mavronicolas, M. (ed.) WDAG 1997. LNCS, vol.\u00a01320, pp. 260\u2013274. Springer, Heidelberg (1997)"},{"unstructured":"Johnen, C., Beauquier, J.: Space-efficient, distributed and self-stabilizing depth-first token circulation. In: In Proceedings of the Second Workshop on Self-Stabilizing Systems, pp. 4\u20131 (1995)","key":"22_CR19"},{"issue":"1","key":"22_CR20","doi-asserted-by":"publisher","first-page":"17","DOI":"10.1007\/BF02278852","volume":"7","author":"S. Katz","year":"1993","unstructured":"Katz, S., Perry, K.J.: Self-stabilizing extensions for meassage-passing systems. Distributed Computing\u00a07(1), 17\u201326 (1993)","journal-title":"Distributed Computing"},{"key":"22_CR21","doi-asserted-by":"publisher","first-page":"26","DOI":"10.1145\/1146381.1146389","volume-title":"Proceedings of the Twenty-fifth Annual ACM Symposium on Principles of Distributed Computing","author":"A. Korman","year":"2006","unstructured":"Korman, A., Kutten, S.: Distributed verification of minimum spanning trees. In: Proceedings of the Twenty-fifth Annual ACM Symposium on Principles of Distributed Computing, pp. 26\u201334. ACM, New York (2006)"},{"key":"22_CR22","doi-asserted-by":"publisher","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)"},{"issue":"4","key":"22_CR23","doi-asserted-by":"publisher","first-page":"215","DOI":"10.1007\/s00446-010-0095-3","volume":"22","author":"A. Korman","year":"2010","unstructured":"Korman, A., Kutten, S., Peleg, D.: Proof labeling schemes. Distributed Computing\u00a022(4), 215\u2013233 (2010)","journal-title":"Distributed Computing"},{"key":"22_CR24","series-title":"Lecture Notes in Computer Science","first-page":"47647","volume-title":"Euro-Par \u201997 Parallel Processing","author":"F. Petit","year":"1997","unstructured":"Petit, F.: Highly space-efficient self-stabilizing depth-first token circulation for trees. In: Lengauer, C., Griebl, M., Gorlatch, S. (eds.) Euro-Par 1997. LNCS, vol.\u00a01300, pp. 47647\u201347649. Springer, Heidelberg (1997)"},{"key":"22_CR25","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"200","DOI":"10.1007\/3-540-45438-1_14","volume-title":"Self-Stabilizing Systems","author":"F. Petit","year":"2001","unstructured":"Petit, F.: Fast self-stabilizing depth-first token circulation. In: Datta, A.K., Herman, T. (eds.) WSS 2001. LNCS, vol.\u00a02194, pp. 200\u2013215. Springer, Heidelberg (2001)"},{"doi-asserted-by":"crossref","unstructured":"Petit, F., Villain, V.: Color optimal self-stabilizing depth-first token circulation. In: ISPAN, pp. 317\u2013323. IEEE Computer Society (1997)","key":"22_CR26","DOI":"10.1109\/ISPAN.1997.645114"},{"issue":"01","key":"22_CR27","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1142\/S0129626400000032","volume":"10","author":"F. Petit","year":"2000","unstructured":"Petit, F., Villain, V.: Optimality and self-stabilization in rooted tree networks. Parallel Processing Letters\u00a010(01), 3\u201314 (2000)","journal-title":"Parallel Processing Letters"},{"unstructured":"Petit, F., Villain, V.: Self-stabilizing depth-first token circulation in asynchronous message-passing systems. Computers and Artificial Intelligence\u00a019(5) (2000)","key":"22_CR28"},{"issue":"1","key":"22_CR29","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/j.jpdc.2006.08.008","volume":"67","author":"F. Petit","year":"2007","unstructured":"Petit, F., Villain, V.: Optimal snap-stabilizing depth-first token circulation in tree networks. Journal of Parallel and Distributed Computing\u00a067(1), 1\u201312 (2007)","journal-title":"Journal of Parallel and Distributed Computing"},{"doi-asserted-by":"crossref","unstructured":"Stomp, F.A.: Structured design of self-stabilizing programs. In: Proceedings of the 2nd Israel Symposium on the Theory and Computing Systems, pp. 167\u2013176 (June 1993)","key":"22_CR30","DOI":"10.1109\/ISTCS.1993.253472"},{"issue":"2","key":"22_CR31","doi-asserted-by":"publisher","first-page":"244","DOI":"10.1145\/333979.333982","volume":"47","author":"G. Varghese","year":"2000","unstructured":"Varghese, G., Jayaram, M.: The fault span of crash failures. Journal of the ACM\u00a047(2), 244\u2013293 (2000)","journal-title":"Journal of the ACM"}],"container-title":["Lecture Notes in Computer Science","Principles of Distributed Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-14472-6_22","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,14]],"date-time":"2025-05-14T00:02:08Z","timestamp":1747180928000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-14472-6_22"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783319144719","9783319144726"],"references-count":31,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-14472-6_22","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2014]]}}}