{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T01:15:43Z","timestamp":1725498943854},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540774433"},{"type":"electronic","value":"9783540774440"}],"license":[{"start":{"date-parts":[[2007,1,1]],"date-time":"2007-01-01T00:00:00Z","timestamp":1167609600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2007]]},"DOI":"10.1007\/978-3-540-77444-0_10","type":"book-chapter","created":{"date-parts":[[2007,12,19]],"date-time":"2007-12-19T03:57:09Z","timestamp":1198036629000},"page":"124-134","source":"Crossref","is-referenced-by-count":3,"title":["Fault Tolerance in Finite State Machines Using Fusion"],"prefix":"10.1007","author":[{"given":"Bharath","family":"Balasubramanian","sequence":"first","affiliation":[]},{"given":"Vinit","family":"Ogale","sequence":"additional","affiliation":[]},{"given":"Vijay K.","family":"Garg","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"10_CR1","first-page":"95","volume":"2","author":"L. Lamport","year":"1978","unstructured":"Lamport, L.: The implementation of reliable distributed multiprocess systems. Computer networks\u00a02, 95\u2013114 (1978)","journal-title":"Computer networks"},{"key":"10_CR2","doi-asserted-by":"crossref","unstructured":"Pease, M., Shostak, R., Lamport, L.: Reaching agreement in the presence of faults. J. ACM\u00a027 (1980)","DOI":"10.1145\/322186.322188"},{"key":"10_CR3","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/s00446-002-0070-8","volume":"16","author":"E. Gafni","year":"2003","unstructured":"Gafni, E., Lamport, L.: Disk paxos. Distrib. Comput.\u00a016, 1\u201320 (2003)","journal-title":"Distrib. Comput."},{"key":"10_CR4","doi-asserted-by":"crossref","unstructured":"Tenzakhti, F., Day, K., Ould-Khaoua, M.: Replication algorithms for the world-wide web. J. Syst. Archit.\u00a050 (2004)","DOI":"10.1016\/j.sysarc.2003.12.003"},{"key":"10_CR5","doi-asserted-by":"publisher","first-page":"299","DOI":"10.1145\/98163.98167","volume":"22","author":"F.B. Schneider","year":"1990","unstructured":"Schneider, F.B.: Implementing fault-tolerant services using the state machine approach: A tutorial. ACM Computing Surveys\u00a022, 299\u2013319 (1990)","journal-title":"ACM Computing Surveys"},{"key":"10_CR6","doi-asserted-by":"publisher","first-page":"291","DOI":"10.1145\/1035570.1035573","volume":"36","author":"S. Sivasubramanian","year":"2004","unstructured":"Sivasubramanian, S., Szymaniak, M., Pierre, G., van Steen, M.: Replication for web hosting systems. ACM Comput. Surv.\u00a036, 291\u2013334 (2004)","journal-title":"ACM Comput. Surv."},{"key":"10_CR7","unstructured":"Budhiraja, N., Marzullo, K., Schneider, F.B., Toueg, S.: The primary-backup approach, 199\u2013216 (1993)"},{"key":"10_CR8","doi-asserted-by":"publisher","first-page":"90","DOI":"10.1145\/248052.248067","volume-title":"PODC 1996. Proceedings of the fifteenth annual ACM symposium on Principles of distributed computing","author":"J.B. Sussman","year":"1996","unstructured":"Sussman, J.B., Marzullo, K.: Comparing primary-backup and state machines for crash failures. In: PODC 1996. Proceedings of the fifteenth annual ACM symposium on Principles of distributed computing, p. 90. ACM Press, New York (1996)"},{"key":"10_CR9","doi-asserted-by":"publisher","first-page":"145","DOI":"10.1145\/190.357399","volume":"2","author":"F.B. Schneider","year":"1984","unstructured":"Schneider, F.B.: Byzantine generals in action: Implementing fail-stop processors. ACM Trans. Comput. Syst.\u00a02, 145\u2013154 (1984)","journal-title":"ACM Trans. Comput. Syst."},{"key":"10_CR10","unstructured":"Garg, V.K., Ogale, V.: Fusible data structures for fault tolerance. In: ICDCS 2007. Proceedings of the 27th International Conference on Distributed Computing Systems (2007)"},{"key":"10_CR11","doi-asserted-by":"crossref","unstructured":"Huffman, D.A.: The synthesis of sequential switching circuits. Technical report, Massachusetts, USA (1954)","DOI":"10.1016\/0016-0032(54)90574-8"},{"key":"10_CR12","doi-asserted-by":"crossref","unstructured":"Hopcroft, J.E.: An n log n algorithm for minimizing states in a finite automaton. Technical report, Stanford, CA, USA (1971)","DOI":"10.1016\/B978-0-12-417750-5.50022-1"},{"key":"10_CR13","unstructured":"Balasubramanian, B., Ogale, V., Garg, V.K.: Fusion generator (implemented in java 1.6). In Parallel and Distributed Systems Laboratory (2007), http:\/\/maple.ece.utexas.edu"},{"key":"10_CR14","doi-asserted-by":"crossref","unstructured":"Balasubramanian, B., Ogale, V., Garg, V.K.: Fault tolerance in finite state machines using fusion. Technical Report TR-PDS-2007-003, Parallel and Distributed Systems Laboratory, The University of Texas at Austin (2007)","DOI":"10.1007\/978-3-540-77444-0_10"},{"key":"10_CR15","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1070\/rm1961v016n05ABEH004112","volume":"16","author":"V.M. Glushkov","year":"1961","unstructured":"Glushkov, V.M.: The abstract theory of automata. RUSS MATH SURV.\u00a016, 1\u201353 (1961)","journal-title":"RUSS MATH SURV."}],"container-title":["Lecture Notes in Computer Science","Distributed Computing and Networking"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-77444-0_10","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,5,15]],"date-time":"2023-05-15T06:23:09Z","timestamp":1684131789000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-77444-0_10"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007]]},"ISBN":["9783540774433","9783540774440"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-77444-0_10","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2007]]}}}