{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T16:20:46Z","timestamp":1743092446879,"version":"3.40.3"},"publisher-location":"Cham","reference-count":16,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319395692"},{"type":"electronic","value":"9783319395708"}],"license":[{"start":{"date-parts":[[2016,1,1]],"date-time":"2016-01-01T00:00:00Z","timestamp":1451606400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2016,1,1]],"date-time":"2016-01-01T00:00:00Z","timestamp":1451606400000},"content-version":"vor","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":[[2016]]},"DOI":"10.1007\/978-3-319-39570-8_9","type":"book-chapter","created":{"date-parts":[[2016,5,24]],"date-time":"2016-05-24T05:04:10Z","timestamp":1464066250000},"page":"124-141","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":4,"title":["Specification-Based Synthesis of Distributed Self-Stabilizing Protocols"],"prefix":"10.1007","author":[{"given":"Fathiyeh","family":"Faghih","sequence":"first","affiliation":[]},{"given":"Borzoo","family":"Bonakdarpour","sequence":"additional","affiliation":[]},{"given":"S\u00e9bastien","family":"Tixeuil","sequence":"additional","affiliation":[]},{"given":"Sandeep","family":"Kulkarni","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2016,5,24]]},"reference":[{"key":"9_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"47","DOI":"10.1007\/978-3-642-05118-0_4","volume-title":"Stabilization, Safety, and Security of Distributed Systems","author":"F Abujarad","year":"2009","unstructured":"Abujarad, F., Kulkarni, S.S.: Multicore constraint-based automated stabilization. In: Guerraoui, R., Petit, F. (eds.) SSS 2009. LNCS, vol. 5873, pp. 47\u201361. Springer, Heidelberg (2009)"},{"issue":"1","key":"9_CR2","doi-asserted-by":"publisher","first-page":"83","DOI":"10.1007\/s00446-011-0139-3","volume":"25","author":"B Bonakdarpour","year":"2012","unstructured":"Bonakdarpour, B., Kulkarni, S.S., Abujarad, F.: Symbolic synthesis of masking fault-tolerant programs. Springer J. Distrib. Comput. 25(1), 83\u2013108 (2012)","journal-title":"Springer J. Distrib. Comput."},{"issue":"1","key":"9_CR3","doi-asserted-by":"publisher","first-page":"263","DOI":"10.1109\/TPDS.2015.2388480","volume":"27","author":"M Demirbas","year":"2016","unstructured":"Demirbas, M., Arora, A.: Specification-based design of self-stabilization. IEEE Trans. Parallel Distrib. Syst. 27(1), 263\u2013270 (2016)","journal-title":"IEEE Trans. Parallel Distrib. Syst."},{"issue":"11","key":"9_CR4","doi-asserted-by":"publisher","first-page":"643","DOI":"10.1145\/361179.361202","volume":"17","author":"EW Dijkstra","year":"1974","unstructured":"Dijkstra, E.W.: Self-stabilizing systems in spite of distributed control. Commun. ACM 17(11), 643\u2013644 (1974)","journal-title":"Commun. ACM"},{"issue":"1","key":"9_CR5","doi-asserted-by":"publisher","first-page":"5","DOI":"10.1007\/BF01843566","volume":"1","author":"EW Dijkstra","year":"1986","unstructured":"Dijkstra, E.W.: A belated proof of self-stabilization. Distrib. Comput. 1(1), 5\u20136 (1986)","journal-title":"Distrib. Comput."},{"doi-asserted-by":"crossref","unstructured":"Ebnenasir, A., Farahat, A.: A lightweight method for automated design of convergence. In: International Parallel and Distributed Processing Symposium (IPDPS), pp. 219\u2013230 (2011)","key":"9_CR6","DOI":"10.1109\/IPDPS.2011.30"},{"issue":"3","key":"9_CR7","first-page":"21","volume":"10","author":"F Faghih","year":"2015","unstructured":"Faghih, F., Bonakdarpour, B.: SMT-based synthesis of distributed self-stabilizing systems. ACM Trans. Auton. Adapt. Syst. (TAAS) 10(3), 21 (2015)","journal-title":"ACM Trans. Auton. Adapt. Syst. (TAAS)"},{"issue":"5\u20136","key":"9_CR8","doi-asserted-by":"publisher","first-page":"519","DOI":"10.1007\/s10009-012-0228-z","volume":"15","author":"B Finkbeiner","year":"2013","unstructured":"Finkbeiner, B., Schewe, S.: Bounded synthesis. Int. J. Softw. Tools Technol. Transfer (STTT) 15(5\u20136), 519\u2013539 (2013)","journal-title":"Int. J. Softw. Tools Technol. Transfer (STTT)"},{"key":"9_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"114","DOI":"10.1007\/3-540-45438-1_8","volume-title":"Self-Stabilizing Systems","author":"MG Gouda","year":"2001","unstructured":"Gouda, M.G.: The theory of weak stabilization. In: Datta, A.K., Herman, T. (eds.) WSS 2001. LNCS, vol. 2194, pp. 114\u2013123. Springer, Heidelberg (2001)"},{"key":"9_CR10","volume-title":"Software Abstractions: Logic, Language, and Analysis","author":"D Jackson","year":"2012","unstructured":"Jackson, D.: Software Abstractions: Logic, Language, and Analysis. MIT Press, Cambridge (2012)"},{"issue":"1","key":"9_CR11","doi-asserted-by":"publisher","first-page":"1","DOI":"10.2168\/LMCS-10(1:12)2014","volume":"10","author":"S Jacobs","year":"2014","unstructured":"Jacobs, S., Bloem, R.: Parameterized synthesis. Logical Meth. Comput. Sci. 10(1), 1\u201329 (2014)","journal-title":"Logical Meth. Comput. Sci."},{"key":"9_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"17","DOI":"10.1007\/978-3-642-40213-5_2","volume-title":"Fundamentals of Software Engineering","author":"A Klinkhamer","year":"2013","unstructured":"Klinkhamer, A., Ebnenasir, A.: On the complexity of adding convergence. In: Arbab, F., Sirjani, M. (eds.) FSEN 2013. LNCS, vol. 8161, pp. 17\u201333. Springer, Heidelberg (2013)"},{"key":"9_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"252","DOI":"10.1007\/978-3-319-11764-5_18","volume-title":"Stabilization, Safety, and Security of Distributed Systems","author":"A Klinkhamer","year":"2014","unstructured":"Klinkhamer, A., Ebnenasir, A.: Synthesizing self-stabilization through superposition and backtracking. In: Felber, P., Garg, V. (eds.) SSS 2014. LNCS, vol. 8756, pp. 252\u2013267. Springer, Heidelberg (2014)"},{"issue":"4","key":"9_CR14","doi-asserted-by":"publisher","first-page":"219","DOI":"10.1504\/IJGUC.2013.057116","volume":"4","author":"M Nesterenko","year":"2013","unstructured":"Nesterenko, M., Tixeuil, S.: Ideal stabilisation. IJGUC 4(4), 219\u2013230 (2013)","journal-title":"IJGUC"},{"doi-asserted-by":"crossref","unstructured":"Pnueli, A.: The temporal logic of programs. In: Symposium on Foundations of Computer Science (FOCS), pp. 46\u201357 (1977)","key":"9_CR15","DOI":"10.1109\/SFCS.1977.32"},{"issue":"1","key":"9_CR16","doi-asserted-by":"publisher","first-page":"61","DOI":"10.1145\/58564.59295","volume":"7","author":"K Raymond","year":"1989","unstructured":"Raymond, K.: A tree-based algorithm for distributed mutual exclusion. ACM Trans. Comput. Syst. 7(1), 61\u201377 (1989)","journal-title":"ACM Trans. Comput. Syst."}],"container-title":["Lecture Notes in Computer Science","Formal Techniques for Distributed Objects, Components, and Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-39570-8_9","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,5,23]],"date-time":"2020-05-23T00:09:23Z","timestamp":1590192563000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-39570-8_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016]]},"ISBN":["9783319395692","9783319395708"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-39570-8_9","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2016]]},"assertion":[{"value":"24 May 2016","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"This content has been made available to all.","name":"free","label":"Free to read"}]}}