{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,1,17]],"date-time":"2025-01-17T07:10:08Z","timestamp":1737097808333,"version":"3.33.0"},"publisher-location":"Berlin, Heidelberg","reference-count":49,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540429128"},{"type":"electronic","value":"9783540456278"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2001]]},"DOI":"10.1007\/3-540-45627-9_2","type":"book-chapter","created":{"date-parts":[[2007,6,12]],"date-time":"2007-06-12T15:57:04Z","timestamp":1181663824000},"page":"10-32","source":"Crossref","is-referenced-by-count":3,"title":["Agreement Problems in Fault-Tolerant Distributed Systems"],"prefix":"10.1007","author":[{"given":"Bernadette","family":"Charron-Bost","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2001,10,24]]},"reference":[{"issue":"6","key":"2_CR1","doi-asserted-by":"publisher","first-page":"1267","DOI":"10.1145\/195613.195651","volume":"41","author":"Y. Afek","year":"1994","unstructured":"Y. Afek, H. Attiya, A. D. Fekete, M. Fischer, N. Lynch, Y. Mansour, D. Wang, and L. Zuck. Reliable communication over unreliable channels. Journal of the ACM, 41(6):1267\u20131297, 1994.","journal-title":"Journal of the ACM"},{"issue":"4","key":"2_CR2","doi-asserted-by":"publisher","first-page":"155","DOI":"10.1016\/S0020-0190(99)00100-3","volume":"71","author":"M. Aguilera","year":"1999","unstructured":"MarkosT Aguilera and Sam Toueg. A simple bivalency-based proof that t-resilient consensus requires t + 1 rounds. Information Processing Letters, 71(4):155\u2013158, 1999.","journal-title":"Information Processing Letters"},{"key":"2_CR3","doi-asserted-by":"crossref","unstructured":"Yair Amir, Danny Dolev, Shlomo Kramer, and Dalia Malki. Membership algorithms for multicast communication groups. In Proceedings of the Sixth International Workshop on Distributed Algorithms, volume 647 of Lecture Notes on Computer Science, pages 292\u2013312. Springer-Verlag, November 1992.","DOI":"10.1007\/3-540-56188-9_20"},{"key":"2_CR4","unstructured":"Emmanuelle Anceaume, Bernadette Charron-Bost, Pascale Minet, and Sam Toueg. On the formal specification of group membership services. Technical report, INRIA, Rocquencourt, July 1995."},{"key":"2_CR5","unstructured":"\u00d6zalp Babao\u011flu, Renzo Davoli, Luigi-Alberto Giachini, and Mary Gray Baker. RELACS: a communications infrastructure for constructing reliable applications in large-scale distributed systems. BROADCAST Project deliverable report, 1994. Department of Computing Science, University of Newcastle upon Tyne, UK."},{"key":"2_CR6","doi-asserted-by":"crossref","unstructured":"Z. Bar-Joseh and Michael Ben-Or. A tight lower bound for randomized synchronous consensus. In Proceedings of the Seventeenth ACM Symposium on Principles of Distributed Computing, pages 193\u2013199, August 1998.","DOI":"10.1145\/277697.277733"},{"issue":"5","key":"2_CR7","doi-asserted-by":"publisher","first-page":"260","DOI":"10.1145\/362946.362970","volume":"12","author":"K. A. Bartlett","year":"1969","unstructured":"K. A. Bartlett, R. A. Scantlebury, and P. T. Wilkinson. A note on reliable fullduplex transmission over half-duplex links. Communication of the ACM, 12(5):260\u2013261, 1969.","journal-title":"Communication of the ACM"},{"key":"2_CR8","doi-asserted-by":"crossref","unstructured":"A. Basu, B. Charron-Bost, and S. Toueg. Simulating reliable links with unreliable links in the presence of process crashes. In \u00d6. Babao\u011flu and K. Marzullo, editors, Proceedings of the Tenth International Workshop on Distributed Algorithms, volume 1151 of Lecture Notes on Computer Science, pages 105\u2013122. Springer-Verlag, October 1996.","DOI":"10.1007\/3-540-61769-8_8"},{"key":"2_CR9","doi-asserted-by":"crossref","unstructured":"Michael Ben-Or. Another advantage of free choice: Completely asynchronous agreement protocols. In Proceedings of the Second ACM Symposium on Principles of Distributed Computing, pages 27\u201330, August 1983.","DOI":"10.1145\/800221.806707"},{"key":"2_CR10","unstructured":"P. A. Bernstein, V. Hadzilacos, and N. Goodman. Concurrency Control and Recovery in Database Systems. Addison-Wesley, 1987."},{"issue":"4","key":"2_CR11","doi-asserted-by":"publisher","first-page":"824","DOI":"10.1145\/4221.214134","volume":"32","author":"G. Bracha","year":"1985","unstructured":"Gabriel Bracha and Sam Toueg. Asynchronous consensus and broadcast protocols. Journal of the ACM, 32(4):824\u2013840, October 1985.","journal-title":"Journal of the ACM"},{"issue":"4","key":"2_CR12","doi-asserted-by":"publisher","first-page":"685","DOI":"10.1145\/234533.234549","volume":"43","author":"T. D. Chandra","year":"1996","unstructured":"T. D. Chandra, V. Hadzilacos, and S. Toueg. The weakest failure detector for solving consensus. Journal of the ACM, 43(4):685\u2013722, July 1996.","journal-title":"Journal of the ACM"},{"issue":"2","key":"2_CR13","doi-asserted-by":"publisher","first-page":"225","DOI":"10.1145\/226643.226647","volume":"43","author":"T. D. Chandra","year":"1996","unstructured":"T. D. Chandra and S. Toueg. Unreliable failure detectors for asynchronous systems. Journal of the ACM, 43(2):225\u2013267, March 1996.","journal-title":"Journal of the ACM"},{"key":"2_CR14","doi-asserted-by":"crossref","unstructured":"Tushar Deepak Chandra, Vassos Hadzilacos, Sam Toueg, and Bernadette Charron-Bost. On the impossibility of group membership. In Proceedings of the 15th ACM Symposium on Principles of Distributed Computing, pages 322\u2013330, Philadelphia, Pennsylvania, USA, May 1996.","DOI":"10.1145\/248052.248120"},{"key":"2_CR15","unstructured":"B. Charron-Bost and A. Schiper. Reliable broadcast is not so easy. Unpublished manuscript., July 2000."},{"key":"2_CR16","unstructured":"B. Charron-Bost and A. Schiper. Uniformconsensus is harder than consensus. Technical Report DSC\/2000\/028, D\u00e9partement Syst\u00e8mes de Communication, EPFL, May 2000."},{"key":"2_CR17","unstructured":"Bernadette Charron-Bost. The weakest failure detector for solving atomic commitment. In preparation, July 2001."},{"key":"2_CR18","unstructured":"Bernadette Charron-Bost and Sam Toueg. Comparing the atomic commitment and consensus problems. In preparation, January 2001."},{"key":"2_CR19","first-page":"443","volume":"5","author":"B. Chor","year":"1989","unstructured":"Benny Chor and Cynthia Dwork. Randomization in byzantine agreement. Advances in Computer Research, 5:443\u2013497, 1989.","journal-title":"Advances in Computer Research"},{"issue":"4","key":"2_CR20","doi-asserted-by":"publisher","first-page":"175","DOI":"10.1007\/BF01784719","volume":"4","author":"F. Cristian","year":"1991","unstructured":"Flaviu Cristian. Reaching agreement on processor group membership in synchronous distributed systems. Distributed Computing, 4(4):175\u2013187, April 1991.","journal-title":"Distributed Computing"},{"issue":"1","key":"2_CR21","doi-asserted-by":"publisher","first-page":"77","DOI":"10.1145\/7531.7533","volume":"34","author":"D. Dolev","year":"1987","unstructured":"D. Dolev, C. Dwork, and L. Stockmeyer. On the minimal synchronism needed for distributed consensus. Journal of the ACM, 34(1):77\u201397, January 1987.","journal-title":"Journal of the ACM"},{"issue":"4","key":"2_CR22","doi-asserted-by":"publisher","first-page":"720","DOI":"10.1145\/96559.96565","volume":"37","author":"D. Dolev","year":"1990","unstructured":"Danny Dolev, R\u00fcdiger Reischuk, and H. Raymond Strong. Early stopping in Byzantine agreement. Journal of the ACM, 37(4):720\u2013741, October 1990.","journal-title":"Journal of the ACM"},{"issue":"2","key":"2_CR23","doi-asserted-by":"publisher","first-page":"288","DOI":"10.1145\/42282.42283","volume":"35","author":"C. Dwork","year":"1988","unstructured":"C. Dwork, N. A. Lynch, and L. Stockmeyer. Consensus in the presence of partial synchrony. Journal of the ACM, 35(2):288\u2013323, April 1988.","journal-title":"Journal of the ACM"},{"key":"2_CR24","doi-asserted-by":"crossref","unstructured":"C. Dwork and D. Skeen. Patterns of communication in consensus protocols. In Proceedings of the 3rd Annual ACM Symposium on Principles of Distributed Computing, pages 143\u2013153, August 1984.","DOI":"10.1145\/800222.806742"},{"issue":"2","key":"2_CR25","doi-asserted-by":"publisher","first-page":"156","DOI":"10.1016\/0890-5401(90)90014-9","volume":"88","author":"C. Dwork","year":"1990","unstructured":"Cynthia Dwork and Yoram Moses. Knowledge and common knowledge in a Byzantine environment: Crash failures. Information and Computation, 88(2):156\u2013186, October 1990.","journal-title":"Information and Computation"},{"key":"2_CR26","unstructured":"Paul D. Ezhilchelvan, Raimundo A. Mac\u011bdo, and Santosh K. Shrivastava. Newtop: a fault-tolerant group communication protocol. In Proceedings of the 15th International Conference on Distributed Computing Systems, Vancouver, BC, Canada, June 1995."},{"issue":"2","key":"2_CR27","doi-asserted-by":"publisher","first-page":"374","DOI":"10.1145\/3149.214121","volume":"32","author":"M. J. Fischer","year":"1985","unstructured":"M. J. Fischer, N. A. Lynch, and M. S. Paterson. Impossibility of distributed consensus with one faulty process. Journal of the ACM, 32(2):374\u2013382, April 1985.","journal-title":"Journal of the ACM"},{"key":"2_CR28","doi-asserted-by":"publisher","first-page":"183","DOI":"10.1016\/0020-0190(82)90033-3","volume":"14","author":"M. J. Fischer","year":"1982","unstructured":"Michael J. Fischer and Nancy A. Lynch. A lower bound for the time to assure interactive consistency. Information Processing Letters, 14:183\u2013186, 1982.","journal-title":"Information Processing Letters"},{"key":"2_CR29","unstructured":"James N. Gray. Notes on database operating systems. In R. Bayer, R. M. Graham, and G. Seegmuller, editors, Operating Systems: An Advanced Course, volume 66 of Lecture Notes on Computer Science. Springer-Verlag, 1978. Also appears as IBM Research Laboratory Technical report RJ2188."},{"key":"2_CR30","unstructured":"V. Hadzilacos and S. Toueg. A modular approach to fault-tolerant broadcasts and related problems. Technical ReportTR 94-1425, Cornell University, Dept. of Computer Science, May 1994."},{"key":"2_CR31","series-title":"Lect Notes Comput Sci","volume-title":"On the relationship between the atomic commitment and consensus problems","author":"V. Hadzilacos","year":"1986","unstructured":"Vassos Hadzilacos. On the relationship between the atomic commitment and consensus problems. Workshop on Fault-Tolerant Distributed Computing, March 17-19, 1986, Pacific Grove, CA. Lecture Notes in Computer Science, Vol. 448. Springer-Verlag., 1986."},{"key":"2_CR32","unstructured":"Matti A. Hiltunen and Richard D. Schlichting. Properties of membership services. In Proceedings of the Second International Symposium on Autonomous Decentralized Systems, Phoenix, AZ, April 1995."},{"key":"2_CR33","doi-asserted-by":"crossref","unstructured":"Farnam Jahanian, Sameh Fakhouri, and Ragunathan Rajkumar. Processor group membership protocols: specification, design and implementation. In Proceeding of the Twelfth IEEE Symposium on Reliable Distributed Systems, pages 2\u201311, Princeton, October 1993.","DOI":"10.1109\/RELDIS.1993.393478"},{"key":"2_CR34","doi-asserted-by":"crossref","unstructured":"M. Frans Kaashoek and Andrew S. Tanenbaum. Group communication in the amoeba distributed operating system. In Proceedings of the Eleventh International Conference on Distributed Computer Systems, pages 222\u2013230, Arlington, TX, May 1991.","DOI":"10.1109\/ICDCS.1991.148669"},{"issue":"7","key":"2_CR35","doi-asserted-by":"publisher","first-page":"558","DOI":"10.1145\/359545.359563","volume":"21","author":"L. Lamport","year":"1978","unstructured":"L. Lamport. Time, clocks, and the ordering of events in a distributed system. Communications of the ACM, 21(7):558\u2013565, July 1978.","journal-title":"Communications of the ACM"},{"issue":"3","key":"2_CR36","doi-asserted-by":"publisher","first-page":"382","DOI":"10.1145\/357172.357176","volume":"4","author":"L. Lamport","year":"1982","unstructured":"Leslie Lamport, Robert Shostak, and Marshall Pease. The Byzantine generals problem. ACM Transactions on Programming Languages and Systems, 4(3):382\u2013401, July 1982.","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"2_CR37","unstructured":"N. A. Lynch. Distributed Algorithms. Morgan Kaufmann, 1996."},{"issue":"5","key":"2_CR38","doi-asserted-by":"publisher","first-page":"459","DOI":"10.1109\/71.282557","volume":"5","author":"P.M. Melliar-Smith","year":"1994","unstructured":"P.M. Melliar-Smith, Louise Moser, and Vivek Agrawala. Processor membership in asynchronous distributed systems. IEEE Transactions on Parallel and Distributed Systems, 5(5):459\u2013473, May 1994.","journal-title":"IEEE Transactions on Parallel and Distributed Systems"},{"key":"2_CR39","unstructured":"Shivakant Mishra, Larry L. Peterson, and Richard D. Schlichting. A membership protocol based on partial order. In Proceedings of the IEEE International Working Conference on Dependable Computing For Critical Applications, pages 137\u2013145, Tucson, AZ, February 1991."},{"key":"2_CR40","doi-asserted-by":"crossref","unstructured":"Yoram Moses and Sergio Rajsbaum. The unified structure of consensus: a layered analysis approach. In Proceedings of the Seventeenth ACM Symposium on Principles of Distributed Computing, pages 123\u2013132, August 1998.","DOI":"10.1145\/277697.277720"},{"issue":"3","key":"2_CR41","doi-asserted-by":"publisher","first-page":"374","DOI":"10.1016\/0196-6774(90)90019-B","volume":"11","author":"G. Neiger","year":"1990","unstructured":"G. Neiger and S. Toueg. Automatically increasing the fault-tolerance of distributed algorithms. Journal of Algorithms, 11(3):374\u2013419, 1990.","journal-title":"Journal of Algorithms"},{"issue":"2","key":"2_CR42","doi-asserted-by":"publisher","first-page":"228","DOI":"10.1145\/322186.322188","volume":"27","author":"M. Pease","year":"1980","unstructured":"Marshall Pease, Robert Shostak, and Leslie Lamport. Reaching agreement in the presence of faults. Journal of the ACM, 27(2):228\u2013234, April 1980.","journal-title":"Journal of the ACM"},{"key":"2_CR43","doi-asserted-by":"crossref","unstructured":"Michael Rabin. Randomized Byzantine generals. In Proceedings of the Twenty-Fourth Symposium on Foundations of Computer Science, pages 403\u2013409. IEEE Computer Society Press, November 1983.","DOI":"10.1109\/SFCS.1983.48"},{"key":"2_CR44","unstructured":"R\u00fcdiger Reischuk. A new solution for the Byzantine general\u2019s problem. Technical Report RJ 3673, IBM Research Laboratory, November 1982."},{"key":"2_CR45","doi-asserted-by":"crossref","unstructured":"Aleta Ricciardi and Ken Birman. Using process groups to implement failure detection in asynchronous environments. In Proceedings of the Tenth ACM Symposium on Principles of Distributed Computing, pages 341\u2013351. ACM Press, August 1991.","DOI":"10.1145\/112600.112628"},{"issue":"4","key":"2_CR46","doi-asserted-by":"publisher","first-page":"299","DOI":"10.1145\/98163.98167","volume":"22","author":"F. B. Schneider","year":"1990","unstructured":"Fred B. Schneider. Implementing fault-tolerant services using the state machine approach: A tutorial. ACM Computing Surveys, 22(4):299\u2013319, December 1990.","journal-title":"ACM Computing Surveys"},{"key":"2_CR47","doi-asserted-by":"crossref","unstructured":"Dale Skeen. Nonblocking commit protocols. In Proceedings of the ACM SIGMOD Conf. on Management of Data, pages 133\u2013147. ACM, June 1982.","DOI":"10.1145\/582318.582339"},{"issue":"2","key":"2_CR48","first-page":"99","volume":"1","author":"N. V. Stenning","year":"1976","unstructured":"N. V. Stenning. A data transfer protocol. Computer Networks, 1(2):99\u2013110, 1976.","journal-title":"Computer Networks"},{"key":"2_CR49","first-page":"133","volume-title":"Reliable Distributed Computing with the Isis Toolkit","author":"R. Renesse van","year":"1993","unstructured":"Robbert van Renesse, Kenneth P. Birman, Robert Cooper, Bradford Glade, and Patrick Stephenson. The horus system. In Kenneth P. Birman and Robbert van Renesse, editors, Reliable Distributed Computing with the Isis Toolkit, pages 133\u2013147. IEEE Computer Society Press, Los Alamitos, CA, 1993."}],"container-title":["Lecture Notes in Computer Science","SOFSEM 2001: Theory and Practice of Informatics"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-45627-9_2","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,17]],"date-time":"2025-01-17T06:36:17Z","timestamp":1737095777000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45627-9_2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2001]]},"ISBN":["9783540429128","9783540456278"],"references-count":49,"URL":"https:\/\/doi.org\/10.1007\/3-540-45627-9_2","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2001]]}}}