{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,11]],"date-time":"2025-10-11T17:10:00Z","timestamp":1760202600166,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":13,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642047602"},{"type":"electronic","value":"9783642047619"}],"license":[{"start":{"date-parts":[[2009,1,1]],"date-time":"2009-01-01T00:00:00Z","timestamp":1230768000000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2009,1,1]],"date-time":"2009-01-01T00:00:00Z","timestamp":1230768000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2009]]},"DOI":"10.1007\/978-3-642-04761-9_24","type":"book-chapter","created":{"date-parts":[[2009,10,10]],"date-time":"2009-10-10T06:43:53Z","timestamp":1255157033000},"page":"321-336","source":"Crossref","is-referenced-by-count":10,"title":["Synthesis of Fault-Tolerant Distributed Systems"],"prefix":"10.1007","author":[{"given":"Rayna","family":"Dimitrova","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Bernd","family":"Finkbeiner","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"1","key":"24_CR1","doi-asserted-by":"publisher","first-page":"125","DOI":"10.1145\/963778.963782","volume":"26","author":"P.C. Attie","year":"2004","unstructured":"Attie, P.C., Arora, A., Emerson, E.A.: Synthesis of fault-tolerant concurrent programs. ACM Trans. Program. Lang. Syst.\u00a026(1), 125\u2013185 (2004)","journal-title":"ACM Trans. Program. Lang. Syst."},{"key":"24_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"21","DOI":"10.1007\/978-3-540-76627-8_5","volume-title":"Stabilization, Safety, and Security of Distributed Systems","author":"B. Bonakdarpour","year":"2007","unstructured":"Bonakdarpour, B., Kulkarni, S.S., Abujarad, F.: Distributed synthesis of fault-tolerant programs in the high atomicity model. In: Masuzawa, T., Tixeuil, S. (eds.) SSS 2007. LNCS, vol.\u00a04838, pp. 21\u201336. Springer, Heidelberg (2007)"},{"key":"24_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"42","DOI":"10.1007\/BFb0042324","volume-title":"Fault-Tolerant Distributed Computing","author":"D. Dolev","year":"1990","unstructured":"Dolev, D., Strong, H.R.: A simple model for agreement in distributed systems. In: Simons, B., Spector, A.Z. (eds.) Fault-Tolerant Distributed Computing. LNCS, vol.\u00a0448, pp. 42\u201350. Springer, Heidelberg (1990)"},{"issue":"5","key":"24_CR4","doi-asserted-by":"publisher","first-page":"455","DOI":"10.1007\/s10009-008-0083-0","volume":"10","author":"A. Ebnenasir","year":"2008","unstructured":"Ebnenasir, A., Kulkarni, S.S., Arora, A.: FTSyn: a framework for automatic synthesis of fault-tolerance. STTT\u00a010(5), 455\u2013471 (2008)","journal-title":"STTT"},{"key":"24_CR5","doi-asserted-by":"crossref","unstructured":"Emerson, E.A.: Temporal and modal logic. In: Handbook of Theoretical Computer Science. Formal Models and Sematics (B), vol. B, pp. 995\u20131072 (1990)","DOI":"10.1016\/B978-0-444-88074-1.50021-4"},{"key":"24_CR6","doi-asserted-by":"crossref","unstructured":"Finkbeiner, B., Schewe, S.: Uniform distributed synthesis. In: Proc. LICS 2005, June 2005, pp. 321\u2013330 (2005)","DOI":"10.1109\/LICS.2005.53"},{"key":"24_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"315","DOI":"10.1007\/978-3-540-78800-3_22","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"D. Fisman","year":"2008","unstructured":"Fisman, D., Kupferman, O., Lustig, Y.: On verifying fault tolerance of distributed protocols. In: Ramakrishnan, C.R., Rehof, J. (eds.) TACAS 2008. LNCS, vol.\u00a04963, pp. 315\u2013331. Springer, Heidelberg (2008)"},{"key":"24_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"321","DOI":"10.1007\/11944836_30","volume-title":"FSTTCS 2006: Foundations of Software Technology and Theoretical Computer Science","author":"P. Gastin","year":"2006","unstructured":"Gastin, P., Sznajder, N., Zeitoun, M.: Distributed synthesis for well-connected architectures. In: Arun-Kumar, S., Garg, N. (eds.) FSTTCS 2006. LNCS, vol.\u00a04337, pp. 321\u2013332. Springer, Heidelberg (2006)"},{"key":"24_CR9","volume-title":"Distributed Systems","author":"V. Hadzilacos","year":"1993","unstructured":"Hadzilacos, V., Toueg, S.: A modular approach to fault-tolerant broadcasts and related problems. In: Distributed Systems, 2nd edn., Addison-Wesley, Reading (1993)","edition":"2"},{"key":"24_CR10","doi-asserted-by":"crossref","unstructured":"Kulkarni, S.S., Arora, A.: Automating the addition of fault-tolerance. In: Formal Techniques in Real-Time and Fault-Tolerant Systems, pp. 82\u201393 (2000)","DOI":"10.1007\/3-540-45352-0_9"},{"issue":"2","key":"24_CR11","doi-asserted-by":"publisher","first-page":"245","DOI":"10.2307\/421091","volume":"5","author":"O. Kupferman","year":"1999","unstructured":"Kupferman, O., Vardi, M.Y.: Church\u2019s problem revisited. Bulletin of Symbolic Logic\u00a05(2), 245\u2013263 (1999)","journal-title":"Bulletin of Symbolic Logic"},{"key":"24_CR12","first-page":"366","volume-title":"Proc. LICS","author":"P. Manolios","year":"2001","unstructured":"Manolios, P., Trefler, R.: Safety and liveness in branching time. In: Proc. LICS, pp. 366\u2013374. IEEE Computer Society Press, Los Alamitos (2001)"},{"key":"24_CR13","first-page":"746","volume-title":"Proc. FOCS","author":"A. Pnueli","year":"1990","unstructured":"Pnueli, A., Rosner, R.: Distributed reactive systems are hard to synthesize. In: Proc. FOCS, vol.\u00a0II, pp. 746\u2013757. IEEE, Los Alamitos (1990)"}],"container-title":["Lecture Notes in Computer Science","Automated Technology for Verification and Analysis"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-04761-9_24","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,2,12]],"date-time":"2025-02-12T17:48:21Z","timestamp":1739382501000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-642-04761-9_24"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9783642047602","9783642047619"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-04761-9_24","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2009]]}}}