{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T06:53:48Z","timestamp":1742972028018,"version":"3.40.3"},"publisher-location":"Cham","reference-count":20,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319217406"},{"type":"electronic","value":"9783319217413"}],"license":[{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015]]},"DOI":"10.1007\/978-3-319-21741-3_9","type":"book-chapter","created":{"date-parts":[[2015,8,3]],"date-time":"2015-08-03T12:21:28Z","timestamp":1438604488000},"page":"124-138","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Verifying Recurrence Properties in Self-stabilization by Checking the Absence of Finite Counterexamples"],"prefix":"10.1007","author":[{"given":"Oday","family":"Jubran","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Eike","family":"M\u00f6hlmann","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Oliver","family":"Theel","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2015,8,4]]},"reference":[{"key":"9_CR1","doi-asserted-by":"crossref","unstructured":"Dolev, S.: Self-Stabilization. The MIT Press (2000)","DOI":"10.7551\/mitpress\/6156.001.0001"},{"key":"9_CR2","doi-asserted-by":"crossref","unstructured":"Dijkstra, E.W.: Self-Stabilizing Systems in Spite of Distributed Control. Communications of the ACM 17(11) (1974)","DOI":"10.1145\/361179.361202"},{"key":"9_CR3","unstructured":"Jubran, O., Theel, O.: Brief announcement: introducing recurrence in self-stabilization. In: [20]"},{"key":"9_CR4","unstructured":"Jubran, O., Theel, O.: Introducing Recurrence in Self-Stabilization (Revised Version). Report No. 101 of SFB\/TR 14 AVACS, April 2015. http:\/\/www.avacs.org\/"},{"key":"9_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"91","DOI":"10.1007\/978-3-642-41527-2_7","volume-title":"Distributed Computing","author":"A Kravchik","year":"2013","unstructured":"Kravchik, A., Kutten, S.: Time optimal synchronous self stabilizing spanning tree. In: Afek, Y. (ed.) DISC 2013. LNCS, vol. 8205, pp. 91\u2013105. Springer, Heidelberg (2013)"},{"key":"9_CR6","doi-asserted-by":"crossref","unstructured":"Dubois, S., Guerraoui, R.: Introducing Speculation in Self-Stabilization - An Application to Mutual Exclusion. CoRR, abs\/1302.2217 (2013)","DOI":"10.1145\/2484239.2484246"},{"key":"9_CR7","doi-asserted-by":"crossref","unstructured":"Boulinier, C., Petit, F., Villain, V.: When graph theory helps self-stabilization. In: Proceedings of the 23rd ACM Symposium on Principles of Distributed Computing - PODC. ACM (2004)","DOI":"10.1145\/1011767.1011790"},{"issue":"40","key":"9_CR8","doi-asserted-by":"publisher","first-page":"5541","DOI":"10.1016\/j.tcs.2010.05.001","volume":"412","author":"AK Datta","year":"2011","unstructured":"Datta, A.K., Larmore, L., Vemula, P.: Self-Stabilizing Leader Election in Optimal Space under an Arbitrary Scheduler. Theoretical Computer Science 412(40), 5541\u20135561 (2011)","journal-title":"Theoretical Computer Science"},{"key":"9_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"80","DOI":"10.1007\/978-3-642-16023-3_9","volume-title":"Stabilization, Safety, and Security of Distributed Systems","author":"A Dhama","year":"2010","unstructured":"Dhama, A., Theel, O.: A tranformational approach for designing scheduler-oblivious self-stabilizing algorithms. In: Dolev, S., Cobb, J., Fischer, M., Yung, M. (eds.) SSS 2010. LNCS, vol. 6366, pp. 80\u201395. Springer, Heidelberg (2010)"},{"key":"9_CR10","unstructured":"Klinkhamer, A., Ebnenasir, A.: Synthesizing self-stabilization through superposition and backtracking. In: [20]"},{"key":"9_CR11","unstructured":"Faghih, F., Bonakdarpour, B.: SMT-based synthesis of distributed self-stabilizing systems. In: [20]"},{"issue":"9","key":"9_CR12","doi-asserted-by":"publisher","first-page":"69","DOI":"10.1145\/1995376.1995394","volume":"54","author":"LM de Moura","year":"2011","unstructured":"de Moura, L.M., Bj\u00f8rner, N.: Satisfiability Modulo Theories: Introduction and Applications. Communic. of the ACM 54(9), 69\u201377 (2011)","journal-title":"Communic. of the ACM"},{"key":"9_CR13","doi-asserted-by":"crossref","unstructured":"Fallahi, N., Bonakdarpour, B., Tixeuil, S.: Rigorous performance evaluation of self-stabilization using probabilistic model checking. In: Proceedings of the 32nd Symposium on Reliable Distributed Systems - SRDS. IEEE (2013)","DOI":"10.1109\/SRDS.2013.24"},{"key":"9_CR14","doi-asserted-by":"crossref","unstructured":"Nakaminami, Y., Kakugawa, H., Masuzawa, T.: An advanced performance analysis of self-stabilizing protocols: stabilization time with transient faults during convergence. In: Proceedings of the 20th International Parallel and Distributed Processing Symposium - IPDPS. IEEE (2006)","DOI":"10.1109\/IPDPS.2006.1639554"},{"key":"9_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"244","DOI":"10.1007\/978-3-540-49823-0_17","volume-title":"Stabilization, Safety, and Security of Distributed Systems","author":"A Dhama","year":"2006","unstructured":"Dhama, A., Theel, O., Warns, T.: Reliability and availability analysis of self-stabilizing systems. In: Datta, A.K., Gradinariu, M. (eds.) SSS 2006. LNCS, vol. 4280, pp. 244\u2013261. Springer, Heidelberg (2006)"},{"key":"9_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"334","DOI":"10.1007\/978-3-319-08867-9_22","volume-title":"Computer Aided Verification","author":"R Cavada","year":"2014","unstructured":"Cavada, R., et al.: The nuXmv symbolic model checker. In: Biere, A., Bloem, R. (eds.) CAV 2014. LNCS, vol. 8559, pp. 334\u2013342. Springer, Heidelberg (2014)"},{"key":"9_CR17","doi-asserted-by":"crossref","unstructured":"Boulinier, C., Petit, F., Villain, V.: Synchronous vs. Asynchronous Unison. Algorithmica 51(1) (2008)","DOI":"10.1007\/s00453-007-9066-x"},{"key":"9_CR18","doi-asserted-by":"crossref","unstructured":"Tel, G.: Introduction to Distributed Algorithms. Cambridge University Press (2000)","DOI":"10.1017\/CBO9781139168724"},{"key":"9_CR19","unstructured":"Johnen, C.: Service time optimal self-stabilizing token circulation protocol on anonymous unidirectional rings. In: Proceedings of the 21st International Symposium on Reliable Distributed Systems - SRDS. IEEE (2002)"},{"key":"9_CR20","unstructured":"Proceedings of the 16th International Symposium on Stabilization, Safety, and Security of Distributed Systems - SSS. Springer (2014)"}],"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-319-21741-3_9","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,2,8]],"date-time":"2023-02-08T14:09:32Z","timestamp":1675865372000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-319-21741-3_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015]]},"ISBN":["9783319217406","9783319217413"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-21741-3_9","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2015]]},"assertion":[{"value":"4 August 2015","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}