{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,8]],"date-time":"2024-09-08T10:48:48Z","timestamp":1725792528093},"publisher-location":"Cham","reference-count":17,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319061993"},{"type":"electronic","value":"9783319062006"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-319-06200-6_23","type":"book-chapter","created":{"date-parts":[[2014,4,23]],"date-time":"2014-04-23T01:53:48Z","timestamp":1398218028000},"page":"270-284","source":"Crossref","is-referenced-by-count":10,"title":["A Synthesized Algorithm for Interactive Consistency"],"prefix":"10.1007","author":[{"given":"Adri\u00e0","family":"Gasc\u00f3n","sequence":"first","affiliation":[]},{"given":"Ashish","family":"Tiwari","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"23_CR1","series-title":"LNAI","doi-asserted-by":"publisher","first-page":"101","DOI":"10.1007\/978-3-642-22438-6_10","volume-title":"Automated Deduction \u2013 CADE-23","author":"A. Biere","year":"2011","unstructured":"Biere, A., Lonsing, F., Seidl, M.: Blocked clause elimination for QBF. In: Bj\u00f8rner, N., Sofronie-Stokkermans, V. (eds.) CADE 2011. LNCS (LNAI), vol.\u00a06803, pp. 101\u2013115. Springer, Heidelberg (2011)"},{"key":"23_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"496","DOI":"10.1007\/978-3-540-27813-9_45","volume-title":"Computer Aided Verification","author":"L. Moura de","year":"2004","unstructured":"de Moura, L., Owre, S., Rue\u00df, H., Rushby, J., Shankar, N., Sorea, M., Tiwari, A.: SAL 2. In: Alur, R., Peled, D.A. (eds.) CAV 2004. LNCS, vol.\u00a03114, pp. 496\u2013500. Springer, Heidelberg (2004)"},{"issue":"2","key":"23_CR3","doi-asserted-by":"publisher","first-page":"374","DOI":"10.1145\/3149.214121","volume":"32","author":"M.J. Fischer","year":"1985","unstructured":"Fischer, M.J., Lynch, N.A., Paterson, M.S.: Impossibility of distributed consensus with one faulty process. JACM\u00a032(2), 374\u2013382 (1985)","journal-title":"JACM"},{"key":"23_CR4","unstructured":"Gascon, A., Tiwari, A.: Webpage: Synthesis of fault-tolerant distributed algorithms (2013), \n \n http:\/\/www.csl.sri.com\/users\/tiwari\/softwares\/synth_distributed\/"},{"key":"23_CR5","doi-asserted-by":"crossref","unstructured":"Gulwani, S., Jha, S., Tiwari, A., Venkatesan, R.: Synthesis of loop-free programs. In: Proc. PLDI (2011)","DOI":"10.1145\/1993498.1993506"},{"key":"23_CR6","unstructured":"Kulkarni, S.S., Arora, A., Chippada, A.: Polynomial time synthesis of byzantine agreement. In: 20th Symp. on Reliable Distributed Systems, SRDS (2001)"},{"key":"23_CR7","unstructured":"Lala, J.H.: A Byzantine resilient fault tolerant computer for nuclear power applications. In: Fault Tolerant Computing Symposium, pp. 338\u2013343 (1986)"},{"issue":"3","key":"23_CR8","doi-asserted-by":"publisher","first-page":"382","DOI":"10.1145\/357172.357176","volume":"4","author":"L. Lamport","year":"1982","unstructured":"Lamport, L., Shostak, R.E., Pease, M.C.: The byzantine generals problem. ACM Trans. Program. Lang. Syst.\u00a04(3), 382\u2013401 (1982)","journal-title":"ACM Trans. Program. Lang. Syst."},{"key":"23_CR9","unstructured":"Lincoln, P., Rushby, J.: Formal verification of an interactive consistency algorithm for the Draper FTP architecture under a hybrid fault model. In: Proc. 9th Conf. on Computer Assurance, COMPASS (1994)"},{"issue":"2-3","key":"23_CR10","first-page":"71","volume":"7","author":"F. Lonsing","year":"2010","unstructured":"Lonsing, F., Biere, A.: DepQBF: A Dependency-Aware QBF Solver. JSAT\u00a07(2-3), 71\u201376 (2010)","journal-title":"JSAT"},{"key":"23_CR11","unstructured":"Lynch, N.A.: Distributed Algorithms. Morgan Kaufmann (1996)"},{"key":"23_CR12","doi-asserted-by":"publisher","first-page":"68","DOI":"10.1145\/357233.357237","volume":"6","author":"Z. Manna","year":"1984","unstructured":"Manna, Z., Wolper, P.: Synthesis of communicating processes from temporal logic specifications. ACM Trans. on Programming Languages and Systems\u00a06, 68\u201393 (1984)","journal-title":"ACM Trans. on Programming Languages and Systems"},{"key":"23_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"167","DOI":"10.1007\/978-3-540-30206-3_13","volume-title":"Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems","author":"P. Miner","year":"2004","unstructured":"Miner, P., Geser, A., Pike, L., Maddalon, J.: A Unified Fault-Tolerance Protocol. In: Lakhnech, Y., Yovine, S. (eds.) FORMATS\/FTRTFT 2004. LNCS, vol.\u00a03253, pp. 167\u2013182. Springer, Heidelberg (2004)"},{"issue":"2","key":"23_CR14","doi-asserted-by":"publisher","first-page":"228","DOI":"10.1145\/322186.322188","volume":"27","author":"M. Pease","year":"1980","unstructured":"Pease, M., Shostak, R., Lamport, L.: Reaching agreement in the presence of faults. JACM\u00a027(2), 228\u2013234 (1980)","journal-title":"JACM"},{"key":"23_CR15","unstructured":"The SAL intermediate language. Computer Science Laboratory, SRI International, Menlo Park, CA (2003), \n \n http:\/\/sal.csl.sri.com\/"},{"key":"23_CR16","doi-asserted-by":"crossref","unstructured":"Solar-Lezama, A., Rabbah, R., Bod\u00edk, R., Ebcioglu, K.: Programming by sketching for bit-streaming programs. In: PLDI (2005)","DOI":"10.1145\/1065010.1065045"},{"key":"23_CR17","doi-asserted-by":"crossref","unstructured":"Solar-Lezama, A., Tancau, L., Bod\u00edk, R., Saraswat, V., Seshia, S.: Combinatorial Sketching for Finite Programs. In: ASPLOS (2006)","DOI":"10.1145\/1168857.1168907"}],"container-title":["Lecture Notes in Computer Science","NASA Formal Methods"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-06200-6_23","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,26]],"date-time":"2019-05-26T13:30:28Z","timestamp":1558877428000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-06200-6_23"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783319061993","9783319062006"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-06200-6_23","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2014]]}}}