{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,22]],"date-time":"2025-03-22T04:18:56Z","timestamp":1742617136846,"version":"3.40.2"},"publisher-location":"Berlin, Heidelberg","reference-count":29,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540616481"},{"type":"electronic","value":"9783540706533"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1996]]},"DOI":"10.1007\/3-540-61648-9_31","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T22:09:27Z","timestamp":1330294167000},"page":"1-21","source":"Crossref","is-referenced-by-count":1,"title":["On the semantics of group communication"],"prefix":"10.1007","author":[{"given":"Flaviu","family":"Cristian","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,2]]},"reference":[{"key":"1_CR1","unstructured":"G. Alvarez, F. Cristian, and S. Mishra. On-demand asynchronous atomic broadcast. In 5th IFIP Working Conference on Dependable Computing for Critical Applications, Urbana, Illinois, Sept. 1995."},{"key":"1_CR2","doi-asserted-by":"crossref","unstructured":"Y. Amir, L. Moser, M. Melliar-Smith, D. Agarwal, and P. Ciarfella. Fast message ordering and membership using a logical token-pasing ring. In Proceedings of the 13th International IEEE Conference on Distributed Computing Systems, pages 551\u2013560, Pittsburgh, PA, May 1993.","DOI":"10.1109\/ICDCS.1993.287668"},{"key":"1_CR3","doi-asserted-by":"crossref","unstructured":"Y. Amir, L. Moser, P. Melliar-Smith, D. Agarwal, and P. Ciarfella. Fast message ordering and membership using a logical token-passing ring. In Proceedings of Thirteenth International Conference on Distributed Computing Systems, pages 551\u2013560, Pittsburgh, PA, May 1993.","DOI":"10.1109\/ICDCS.1993.287668"},{"key":"1_CR4","unstructured":"E. Anceaume, B. Charron-Bost, P. Minet, and S. Toueg. On the formal specification of group membership services. Technical Report 95-1534, CS, Cornell Univ., August 1995."},{"key":"1_CR5","unstructured":"O. Babaoglu, M. Baker, R. Davoli, and L. Giachini. Relacs: a communication infrastructure for constructing reliable applications. Technical Report CS94-15, Laboratory for Computer Science, The University of Bologna, 1994."},{"issue":"3","key":"1_CR6","doi-asserted-by":"crossref","first-page":"272","DOI":"10.1145\/128738.128742","volume":"9","author":"K. Birman","year":"1991","unstructured":"K. Birman, A. Schiper, and P. Stephenson. Lightweight causal and atomic group multicast. ACM Transactions on Computer Systems, 9(3):272\u2013314, Aug 1991.","journal-title":"ACM Transactions on Computer Systems"},{"key":"1_CR7","unstructured":"R. Carr. The Tandem global update protocol. Tandem Systems Review, Jun 1985."},{"key":"1_CR8","doi-asserted-by":"crossref","unstructured":"D. Chandra, V. Hadzilacos, S. Toueg, and B. Charron-Bost. On the impossibility of group membership. Technical Report 95-1548, CS, Cornell Univ., October 1995.","DOI":"10.1145\/248052.248120"},{"issue":"3","key":"1_CR9","doi-asserted-by":"crossref","first-page":"251","DOI":"10.1145\/989.357400","volume":"2","author":"J. Chang","year":"1984","unstructured":"J. Chang and N. Maxemchuk. Reliable broadcast protocols. ACM Transactions on Computer Systems, 2(3):251\u2013273, Aug 1984.","journal-title":"ACM Transactions on Computer Systems"},{"issue":"9","key":"1_CR10","first-page":"115","volume":"33","author":"F. Cristian","year":"1991","unstructured":"F. Cristian. Asynchronous atomic broadcast. IBM Technical Disclosure Bulletin, 33(9):115\u2013116, Feb 1991. Presented at the First IEEE Workshop on Management of Replicated Data, Houston, TX, (Nov 1990).","journal-title":"IBM Technical Disclosure Bulletin"},{"key":"1_CR11","doi-asserted-by":"crossref","first-page":"175","DOI":"10.1007\/BF01784719","volume":"4","author":"F. Cristian","year":"1991","unstructured":"F. Cristian. Reaching agreement on processor-group membership in synchronous distributed systems. Distributed Computing, 4:175\u2013187, 1991. Early version: FTCS-18, 1988, Kyoto.","journal-title":"Distributed Computing"},{"issue":"2","key":"1_CR12","doi-asserted-by":"crossref","first-page":"56","DOI":"10.1145\/102792.102801","volume":"34","author":"F. Cristian","year":"1991","unstructured":"F. Cristian. Understanding fault-tolerant distributed systems. Communications of ACM, 34(2):56\u201378, Feb 1991.","journal-title":"Communications of ACM"},{"key":"1_CR13","doi-asserted-by":"crossref","first-page":"158","DOI":"10.1006\/inco.1995.1060","volume":"118","author":"F. Cristian","year":"1995","unstructured":"F. Cristian, H. Aghili, R. Strong, and D. Dolev. Atomic broadcast: From simple message diffusion to Byzantine agreement. Information and Computation, 118:158\u2013179, April 1995. Early version: FTCS15, June 1985.","journal-title":"Information and Computation"},{"key":"1_CR14","doi-asserted-by":"crossref","unstructured":"F. Cristian, B. Dancey, and J. Dehn. Fault-tolerance in the Advanced Automation System. In Proceedings of the Twentieth Symposium on Fault-Tolerant Computing, pages 6\u201317, Newcastle-upon-Tyne, UK, Jun 1990.","DOI":"10.1145\/504136.504156"},{"issue":"4","key":"1_CR15","doi-asserted-by":"crossref","first-page":"177","DOI":"10.1088\/0967-1846\/1\/4\/001","volume":"1","author":"F. Cristian","year":"1994","unstructured":"F. Cristian, R. de Beijer, and S. Mishra. A performance comparison of asynchronous atomic broadcast protocols. Distributed Systems Engineering, 1(4):177\u2013201, Jun 1994.","journal-title":"Distributed Systems Engineering"},{"key":"1_CR16","doi-asserted-by":"crossref","unstructured":"F. Cristian and S. Mishra. The Pinwheel asynchronous atomic broadcast protocols. In Proceedings of the Second International Symposium on Autonomous Decentralized Systems, Phoenix, AZ, Mar 1995.","DOI":"10.1109\/ISADS.1995.398975"},{"key":"1_CR17","unstructured":"F. Cristian and F. Schmuck. Agreeing on processor-group membership in asynchronous distributed systems. Technical Report CSE95-428, UCSD, 1995."},{"key":"1_CR18","doi-asserted-by":"crossref","unstructured":"P. Ezhilchelvan, R. Macedo, and S. Shrivastava. Newtop: a fault-tolerant group communication protocol. In Proceedings of the 15th International Conference on Distributed Systems, Vancouver, Canada., May 1995.","DOI":"10.1109\/ICDCS.1995.500032"},{"key":"1_CR19","unstructured":"C. Fetzer and F. Cristian. On the possibility of consensus in asynchronous systems. In 1995 Pacific Rim International Symposium on Fault-Tolerant Systems, Newport Beach, CA, Dec 1995."},{"issue":"2","key":"1_CR20","doi-asserted-by":"crossref","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, Apr 1985.","journal-title":"Journal of the ACM"},{"key":"1_CR21","unstructured":"V. Hadzilacos and S. Toueg. Fault-tolerant broadcasts and related problems. In S. Mullender, editor, Distributed Systems, pages 97\u2013145. Addison-Wesley, 1993."},{"key":"1_CR22","doi-asserted-by":"crossref","unstructured":"F. Kaashoek and A. Tanenbaum. Group communication in the Amoeba distributed system. In Proc. 11th Int. Conf. on Distributed Computing Systems, pages 222\u2013230, May 1991.","DOI":"10.1109\/ICDCS.1991.148669"},{"key":"1_CR23","volume-title":"Technical Report CS94-14","author":"D. Malki","year":"1994","unstructured":"D. Malki, Y. Amir, D. Dolev, and S. Kramer. The Transis approach to high availability cluster communication. Technical Report CS94-14, Computer Science Department, The Hebrew University of Jerusalem, Israel, 1994."},{"key":"1_CR24","doi-asserted-by":"crossref","unstructured":"S. Mishra, L. Peterson, and R. Schlichting. Consul: A communication substrate for fault-tolerant distributed programs. Distributed Systems Engineering Journal, 1993.","DOI":"10.1088\/0967-1846\/1\/2\/004"},{"key":"1_CR25","doi-asserted-by":"crossref","first-page":"119","DOI":"10.1007\/BF01088854","volume":"9","author":"Z. Ping","year":"1995","unstructured":"Z. Ping and J. Hooman. Formal specification and compositional verification of an atomic broadcast protocol. Real-Time Systems, 9:119\u2013145, 1995.","journal-title":"Real-Time Systems"},{"key":"1_CR26","doi-asserted-by":"crossref","unstructured":"M. Satyanarayanan, J. Kistler, P. Kumar, M. Okasaki, E. Siegel, and D. Steere. Coda: A highly available file system for a distributed workstation environment. IEEE Transactions on Computers, 39(4), Apr 1990.","DOI":"10.1109\/12.54838"},{"key":"1_CR27","doi-asserted-by":"crossref","unstructured":"A. Schiper and A. Sandoz. Uniform reliable multicast in a virtually synchronous environment. In Proceedings of the Thirteenth International Conference on Distributed Computing Systems, pages 561\u2013568, May 1993.","DOI":"10.1109\/ICDCS.1993.287667"},{"key":"1_CR28","unstructured":"R. Strong, D. Skeen, F. Cristian, and H. Aghili. Handshake protocols. In Proceedings of the Seventh International Conference on Distributed Computing Systems, pages 521\u2013528, Berlin, Sep 1987."},{"key":"1_CR29","unstructured":"R. van Renesse, K. Birman, and T. Hickey. Design and performance of Horus: a lightweight group communication system. TR 94-1442, Cornell Univ, dept. of Computer Science, Aug 1994."}],"container-title":["Lecture Notes in Computer Science","Formal Techniques in Real-Time and Fault-Tolerant Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-61648-9_31.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,3,21]],"date-time":"2025-03-21T23:23:44Z","timestamp":1742599424000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-61648-9_31"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1996]]},"ISBN":["9783540616481","9783540706533"],"references-count":29,"URL":"https:\/\/doi.org\/10.1007\/3-540-61648-9_31","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1996]]}}}