{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T16:51:15Z","timestamp":1743094275488,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":10,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642160226"},{"type":"electronic","value":"9783642160233"}],"license":[{"start":{"date-parts":[[2010,1,1]],"date-time":"2010-01-01T00:00:00Z","timestamp":1262304000000},"content-version":"unspecified","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":[[2010]]},"DOI":"10.1007\/978-3-642-16023-3_8","type":"book-chapter","created":{"date-parts":[[2010,9,19]],"date-time":"2010-09-19T20:41:49Z","timestamp":1284928909000},"page":"65-79","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":3,"title":["A New Technique for Proving Self-stabilizing under the Distributed Scheduler"],"prefix":"10.1007","author":[{"given":"Sven","family":"K\u00f6hler","sequence":"first","affiliation":[]},{"given":"Volker","family":"Turau","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2010,9,20]]},"reference":[{"key":"8_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"223","DOI":"10.1007\/3-540-40026-5_15","volume-title":"Distributed Computing","author":"J. Beauquier","year":"2000","unstructured":"Beauquier, J., Datta, A.K., Gradinariu, M., Magniette, F.: Self-stabilizing local mutual exclusion and daemon refinement. In: Herlihy, M.P. (ed.) DISC 2000. LNCS, vol.\u00a01914, pp. 223\u2013237. Springer, Heidelberg (2000)"},{"issue":"11","key":"8_CR2","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. Communications of the ACM\u00a017(11), 643\u2013644 (1974)","journal-title":"Communications of the ACM"},{"key":"8_CR3","doi-asserted-by":"crossref","unstructured":"Dijkstra, E.W.: EWD 391, self-stabilization in spite of distributed control. In: Selected Writings on Computing: a Personal Perspective, pp. 41\u201346. Springer, Berlin (1982); Originally Written in 1973","DOI":"10.1007\/978-1-4612-5695-3_7"},{"key":"8_CR4","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)"},{"issue":"1","key":"8_CR5","doi-asserted-by":"publisher","first-page":"53","DOI":"10.1007\/s00446-007-0032-2","volume":"20","author":"S. Ghosh","year":"2007","unstructured":"Ghosh, S., Gupta, A., Herman, T., Pemmaraju, S.V.: Fault-containing self-stabilizing distributed protocols. Distributed Computing\u00a020(1), 53\u201373 (2007)","journal-title":"Distributed Computing"},{"key":"8_CR6","first-page":"45","volume-title":"Proceedings of the 27th IEEE International Conference on Distributed Computing Systems","author":"M. Gradinariu","year":"2007","unstructured":"Gradinariu, M., Tixeuil, S.: Conflict managers for self-stabilization without fairness assumption. In: Proceedings of the 27th IEEE International Conference on Distributed Computing Systems, p. 45. IEEE Computer Society, Los Alamitos (2007)"},{"key":"8_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"205","DOI":"10.1007\/978-3-540-24604-6_20","volume-title":"Distributed Computing - IWDC 2003","author":"T. Herman","year":"2003","unstructured":"Herman, T.: Models of self-stabilization and sensor networks. In: Das, S.R., Das, S.K. (eds.) IWDC 2003. LNCS, vol.\u00a02918, pp. 205\u2013214. Springer, Heidelberg (2003)"},{"key":"8_CR8","first-page":"418","volume-title":"Proceedings of the 30th IEEE International Conference on Distributed Computing Systems","author":"S. K\u00f6hler","year":"2010","unstructured":"K\u00f6hler, S., Turau, V.: Fault-containing self-stabilization in asynchronous systems with constant fault-gap. In: Proceedings of the 30th IEEE International Conference on Distributed Computing Systems, pp. 418\u2013427. IEEE Computer Society, Los Alamitos (2010)"},{"issue":"3","key":"8_CR9","doi-asserted-by":"publisher","first-page":"88","DOI":"10.1016\/j.ipl.2007.02.013","volume":"103","author":"V. Turau","year":"2007","unstructured":"Turau, V.: Linear self-stabilizing algorithms for the independent and dominating set problems using an unfair distributed scheduler. Information Processing Letters\u00a0103(3), 88\u201393 (2007)","journal-title":"Information Processing Letters"},{"issue":"1","key":"8_CR10","doi-asserted-by":"publisher","first-page":"78","DOI":"10.1504\/IJCNDS.2009.021695","volume":"2","author":"V. Turau","year":"2009","unstructured":"Turau, V., Weyer, C.: Fault tolerance in wireless sensor networks through self-stabilization. International Journal of Communication Networks and Distributed Systems\u00a02(1), 78\u201398 (2009)","journal-title":"International Journal of Communication Networks and Distributed Systems"}],"container-title":["Lecture Notes in Computer Science","Stabilization, Safety, and Security of Distributed Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-16023-3_8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,9,4]],"date-time":"2021-09-04T03:41:32Z","timestamp":1630726892000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-642-16023-3_8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9783642160226","9783642160233"],"references-count":10,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-16023-3_8","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2010]]},"assertion":[{"value":"20 September 2010","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}