Group communication specifications: a comprehensive study

ABSTRACT

View-oriented group communication is an important and widely used building block for many distributed applications. Much current research has been dedicated to specifying the semantics and services of view-oriented group communication systems (GCSs). However, the guarantees of different GCSs are formulated using varying terminologies and modeling techniques, and the specifications vary in their rigor. This makes it difficult to analyze and compare the different systems. This survey provides a comprehensive set of clear and rigorous specifications, which may be combined to represent the guarantees of most existing GCSs. In the light of these specifications, over 30 published GCS specifications are surveyed. Thus, the specifications serve as a unifying framework for the classification, analysis, and comparison of group communication systems. The survey also discusses over a dozen different applications of group communication systems, shedding light on the usefulness of the presented specifications. This survey is aimed at both system builders and theoretical researchers. The specification framework presented in this article will help builders of group communication systems understand and specify their service semantics; the extensive survey will allow them to compare their service to others. Application builders will find a guide here to the services provided by a large variety of GCSs, which could help them choose the GCS appropriate for their needs. The formal framework may provide a basis for interesting theoretical work, for example, analyzing relative strengths of different properties and the costs of implementing them.

REFERENCES

• 1: T. Abdelzaher , A. Shaikh , F. Jahanian , K. Shin, RTCAST: lightweight multicast for real-time process groups, Proceedings of the 2nd IEEE Real-Time Technology and Applications Symposium (RTAS '96), p.250, June 10-12, 1996
• 2: Mohan Ahuja, Assertations about past and future in Highways: Global flush broadcast and flush-vector-time, Information Processing Letters, v.48 n.1, p.21-28, Oct. 29, 1993 [doi>10.1016/0020-0190(93)90263-9]
• 3: Ehab S. Al-Shaer , Alaa Youssef , Hussein M. Abdel-Wahab , Kurt Maly , C. Michael Overstreet, Reliability, Scalability and Robustness Issues in IRI*, Proceedings of the 6th Workshop on Enabling Technologies on Infrastructure for Collaborative Enterprises, p.320-326, June 18-20, 1997
• 4: Ehab Al-Shaer Hussein , Abdel-Wahab, HiFi: A New Monitoring Architecture for Distributed Systems Management, Proceedings of the 19th IEEE International Conference on Distributed Computing Systems, p.171, May 31-June 04, 1999
• 5: Ofir Amir , Yair Amir , Danny Dolev, A highly available application in the Transis environment, Papers of the workshop on Hardware and software architectures for fault tolerance : experiences and perspectives: experiences and perspectives, p.125-139, June 1994, Le Mont Saint Michel, France
• 6: AMIR,Y.AND STANTON, J. 1998. The spread wide area group communication system. TR CNDS-98-4, The Center for Networking and Distributed Systems, The Johns Hopkins University.
• 7: Yair Amir , D. Breitgand , G. Chockler , D. Dolev, Group Communication as an Infrastructure for Distributed System Management, Proceedings of the 3rd Workshop on Services in Distributed and Networked Environments (SDNE '96), p.84, June 03-04, 1996
• 8: AMIR, Y., CHOCKLER,G.V.,DOLEV,D.,AND VITENBERG, R. 1997. Efficient state transfer in partitionable environments. In Second European Research Seminar on Advances in Distributed Systems (ERSADS'97) (March), pp. 183-192. BROADCAST (ESPRIT WG 22455): Operating Systems Laboratory, Swiss Federal Institute of Technology, Lausanne. Full version: Tech. Rep. CS98-12, Institute of Computer Science, The Hebrew University, Jerusalem, Israel.
• 9: Yair Amir , Danny Dolev , Shlomo Kramer , Dalia Malki, Membership Algorithms for Multicast Communication Groups, Proceedings of the 6th International Workshop on Distributed Algorithms, p.292-312, November 02-04, 1992
• 10: AMIR, Y., DOLEV, D., KRAMER,S.,AND MALKI, D. 1992b. Transis: A communication sub-system for high availability. In 22nd IEEE Fault-Tolerant Computing Symposium (FTCS) (July).
• 11: AMIR, Y., DOLEV, D., MELLIAR-SMITH,P.M.,AND MOSER, L. E. 1994. Robust and efficient replication using group communication. Tech. Rep. CS94- 20, Institute of Computer Science, Hebrew University, Jerusalem, Israel.
• 12: Y. Amir , L. E. Moser , P. M. Melliar-Smith , D. A. Agarwal , P. Ciarfella, The Totem single-ring ordering and membership protocol, ACM Transactions on Computer Systems (TOCS), v.13 n.4, p.311-342, Nov. 1995 [doi>10.1145/210223.210224]
• 13: ANCEAUME, E., CHARRON-BOST, B., MINET,P.,AND TOUEG, S. 1995. On the formal specification of group membership services. TR 95-1534 (August), Dept. of Computer Science, Cornell University.
• 14: ANKER, T., CHOCKLER, G., DOLEV,D.,AND KEIDAR, I. 1998. Scalable group membership services for novel applications. In M. Mavronicolas, M. Merritt, and N. Shavit, Eds., Networks in Distributed Computing (DIMACS Workshop), vol. 45 of DIMACS, pp. 23-42. American Mathematical Society.
• 15: ANKER, T., CHOCKLER, G., SHNAIDERMAN, I., AND DOLEV, D. 2000. The design of Xpand: A group communication system for wide area networks. Tech. Rep. 2000-31 (July), Institute of Computer Science, Hebrew University, Jerusalem, Israel.
• 16: ANKER, T., CHOCKLER,G.V.,DOLEV,D.,AND KEIDAR,I. 1997. The Caelum toolkit for CSCW: The sky is the limit. In The Third International Workshop on Next Generation Information Technologies and Systems (NGITS 97) (June), pp. 69-76.
• 17: Fault Tolerant Video on Demand Services, Proceedings of the 19th IEEE International Conference on Distributed Computing Systems, p.244, May 31-June 04, 1999
• 18: I. Babaoglu, On programming with view synchrony, Proceedings of the 16th International Conference on Distributed Computing Systems (ICDCS '96), p.3, May 27-30, 1996
• 19: Ö. Babaoglu , R. Davoli , A. Montresor , R. Segala, System Support for Partition-Aware Network Applications, Proceedings of the The 18th International Conference on Distributed Computing Systems, p.184, May 26-29, 1998
• 20: Özalp Babaoglu , Renzo Davoli , Alberto Montresor, Group Communication in Partitionable Systems: Specification and Algorithms, IEEE Transactions on Software Engineering, v.27 n.4, p.308-336, April 2001 [doi>10.1109/32.917522]
• 21: Kenneth P. Birman, Building secure and reliable network applications, Manning Publications Co., Greenwich, CT, 1997
• 22: K. Birman , T. Joseph, Exploiting virtual synchrony in distributed systems, Proceedings of the eleventh ACM Symposium on Operating systems principles, p.123-138, November 08-11, 1987, Austin, Texas, United States
• 23: Kenneth P. Birman , Robbert Van Renesse, Reliable Distributed Computing with the ISIS Toolkit, IEEE Computer Society Press, Los Alamitos, CA, 1993
• 24: BIRMAN, K., FRIEDMAN, R., HAYDEN, M., AND RHEE,I. 1998. Middleware support for distributed multimedia and collaborative computing. In Multimedia Computing and Networking (MMCN98).
• 25: Kenneth P. Birman, ISIS: A System for Fault-Tolerant Distributed Computing, Cornell University, Ithaca, NY, 1986
• 26: Tushar Deepak Chandra , Vassos Hadzilacos , Sam Toueg , Bernadette Charron-Bost, On the impossibility of group membership, Proceedings of the fifteenth annual ACM symposium on Principles of distributed computing, p.322-330, May 23-26, 1996, Philadelphia, Pennsylvania, United States [doi>10.1145/248052.248120]
• 27: Tushar Deepak Chandra , Sam Toueg, Unreliable failure detectors for reliable distributed systems, Journal of the ACM (JACM), v.43 n.2, p.225-267, March 1996 [doi>10.1145/226643.226647]
• 28: David R. Cheriton , Willy Zwaenepoel, Distributed process groups in the V Kernel, ACM Transactions on Computer Systems (TOCS), v.3 n.2, p.77-107, May 1985 [doi>10.1145/214438.214439]
• 29: G. V. Chockler , N. Huleihel , D. Dolev, An adaptive totally ordered multicast protocol that tolerates partitions, Proceedings of the seventeenth annual ACM symposium on Principles of distributed computing, p.237-246, June 28-July 02, 1998, Puerto Vallarta, Mexico [doi>10.1145/277697.277741]
• 30: CHOCKLER, G., HULEIHEL, N., KEIDAR, I., AND DOLEV,D. 1996. Multimedia multicast transport service for groupware. In TINA Conference on the Convergence of Telecommunications and Distributed Computing Technologies (September).
• 31: CHODROW, S., HIRCSH, M., RHEE, I., AND CHEUNG,S.Y. 1997. Design and implementation of a multicast audio conferencing tool for a collaborative computing framework. In JCIS (March).
• 32: CRISTIAN, F. 1991. Reaching agreement on processor group membership in synchronous distributedsystems. Distributed Computing 4,4 (April), 175-187.
• 33: Flaviu Cristian , Christof Fetzer, The Timed Asynchronous Distributed System Model, IEEE Transactions on Parallel and Distributed Systems, v.10 n.6, p.642-657, June 1999 [doi>10.1109/71.774912]
• 34: CRISTIAN,F.AND SCHMUCK, F. 1995. Agreeing on process group membership in asynchronous distributed systems. Tech. Rep. CSE95-428, Department of Computer Science and Engineering, University of California, San Diego.
• 35: Roberto De Prisco , Alan Fekete , Nancy Lynch , Alex Shvartsman, A dynamic view-oriented group communication service, Proceedings of the seventeenth annual ACM symposium on Principles of distributed computing, p.227-236, June 28-July 02, 1998, Puerto Vallarta, Mexico [doi>10.1145/277697.277739]
• 36: DEFAGO, X., SCHIPER, A., AND URBAN, P. 2000. Totally ordered broadcast and multicast algorithms: A comprehensive survey. Tech. Rep. DSC/2000/036 (September), Swiss Federal Institute of Technology, Lausanne, Switzerland.
• 37: Danny Dolev , Dalia Malki, The Transis approach to high availability cluster communication, Communications of the ACM, v.39 n.4, p.64-70, April 1996 [doi>10.1145/227210.227227]
• 38: Danny Dolev , Roy Friedman , Idit Keidar , Dahlia Malkhi, Failure detectors in omission failure environments, Proceedings of the sixteenth annual ACM symposium on Principles of distributed computing, p.286, August 21-24, 1997, Santa Barbara, California, United States [doi>10.1145/259380.259501]
• 39: DOLEV, D., MALKI,D.,AND STRONG, H. R. 1995. A framework for partitionable membership service. TR 95-4 (March), Institute of Computer Science, Hebrew University.
• 40: DOLEV, S., SEGALA, R., AND SHVARTSMAN, A. 1999. Dynamic load balancing with group communication. In Six International Colloquium on Structural Information and Communication Complexity (SIROCCO'99), pp. 111-125.
• 41: Cynthia Dwork , Nancy Lynch , Larry Stockmeyer, Consensus in the presence of partial synchrony, Journal of the ACM (JACM), v.35 n.2, p.288-323, April 1988 [doi>10.1145/42282.42283]
• 42: P. D. Ezhilchelvan , R. A. Macedo , S. K. Shrivastava, Newtop: a fault-tolerant group communication protocol, Proceedings of the 15th International Conference on Distributed Computing Systems, p.296, May 30-June 02, 1995
• 43: A Framework for Highly Available Services Based on Group Communication, Proceedings of the 21st International Conference on Distributed Computing Systems, p.57, April 16-19, 2001
• 44: Specifying and using a partitionable group communication service, ACM Transactions on Computer Systems (TOCS), v.19 n.2, p.171-216, May 2001 [doi>10.1145/377769.377776]
• 45: Pascal Felber , Rachid Guerraoui , André Schiper, The implementation of a CORBA object group service, Theory and Practice of Object Systems, v.4 n.2, p.93-105, April 1998 [doi>10.1002/(SICI)1096-9942(1998)4:2<93::AID-TAPO4>3.3.CO;2-E]
• 46: FRIEDMAN,R.AND VAN RENESSE, R. 1995. Strong and weak virtual synchrony in Horus. TR 95-1537 (August), Dept. of Computer Science, Cornell University.
• 47: R. Friedman , A. Vaysburd, Fast Replicated State Machines Over Partitionable Networks, Proceedings of the 16th Symposium on Reliable Distributed Systems (SRDS '97), p.130, October 22-24, 1997
• 48: Jr. ,. P. Ingels,. A. Mostéfaoui U. Fritzk , M. Raynal, Fault-Tolerant Total Order Multicast to Asynchronous Groups, Proceedings of the The 17th IEEE Symposium on Reliable Distributed Systems, p.228, October 20-23, 1998
• 49: Alessandro Galleni , David Powell, Consensus and Membership in Synchronous and Asynchronous Distributed Systems, University of Bologna, 1995
• 50: GANG, D., CHOCKLER, G., ANKER, T., KREMER, A., AND WINKLER, T. 1997. Conducting Midi sessions over the network using the Transis group communication system. In International Computer Music Conference (ICMC 97) (September).
• 51: Gera Goft, The AS/400 Cluster Engine: A Case Study, Proceedings of the 1999 International Workshops on Parallel Processing, p.44, September 21-24, 1999
• 52: Rachid Guerraoui , André Schiper, Transaction Model vs. Virtual Synchrony Model: Bridging the Gap, Selected Papers from the International Workshop on Theory and Practice in Distributed Systems, p.121-132, September 05-09, 1994
• 53: Rachid Guerraoui , Andre Schiper, Consensus: The Big Misunderstanding, Proceedings of the 6th IEEE Workshop on Future Trends of Distributed Computing Systems (FTDCS '97), p.183, October 29-31, 1997
• 54: Rachid Guerraoui , André Schiper, Software-Based Replication for Fault Tolerance, Computer, v.30 n.4, p.68-74, April 1997 [doi>10.1109/2.585156]
• 55: Rachid Guerraoui , André Schiper, Genuine atomic multicast in asynchronous distributed systems, Theoretical Computer Science, v.254 n.1-2, p.297-316, March 6, 2001 [doi>10.1016/S0304-3975(99)00161-9]
• 56: John V. Guttag , James J. Horning, Larch: languages and tools for formal specification, Springer-Verlag New York, Inc., New York, NY, 1993
• 57: Mark Hayden , Robbert vanRenesse, Optimizing Layered Communication Protocols, Cornell University, Ithaca, NY, 1996
• 58: Jason Hickey , Nancy A. Lynch , Robbert van Renesse, Specifications and Proofs for Ensemble Layers, Proceedings of the 5th International Conference on Tools and Algorithms for Construction and Analysis of Systems, p.119-133, March 22-28, 1999
• 59: HILTUNEN,M.AND SCHLICHTING, R. 1995. Properties of membership services. In Second International Symposium on Autonomous Decentralized Systems, pp. 200-207.
• 60: Matti A. Hiltunen , Richard D. Schlichting, A Configurable Membership Service, IEEE Transactions on Computers, v.47 n.5, p.573-586, May 1998 [doi>10.1109/12.677244]
• 61: IBM 1996. RS/6000 SP High Availability Infrastructure. IBM. SG24-4838, available online at: http://www.redbooks.ibm.com/abstracts/sg2448- 38.html.
• 62: IONA 1994. IONA and Isis. An Introduction to Orbix+ISIS. IONA Technologies and Isis Distributed Systems.
• 63: JAHANIAN, F., FAKHOURI,S.,AND RAJKUMAR, R. 1993. Processor group membership protocols: Specification, design and implementation. In 12th IEEE International Symposium on Reliable Distributed Systems (SRDS) (October), pp. 2-11. IEEE.
• 64: Scott Johnson , Farnam Jahanian , Sunondo Ghosh , Brian Vanvoorst , Nicholas Weininger, Experiences with Group Communication Middleware, Proceedings of the 2000 International Conference on Dependable Systems and Networks (formerly FTCS-30 and DCCA-8), p.37-42, June 25-28, 2000
• 65: The Inter-group Router Approach to Scalable Group Composition, Proceedings of the 19th IEEE International Conference on Distributed Computing Systems, p.4, May 31-June 04, 1999
• 66: An evaluation of the Amoeba group communication system, Proceedings of the 16th International Conference on Distributed Computing Systems (ICDCS '96), p.436, May 27-30, 1996
• 67: Causally Ordered Multicast: the Conservative Approach, Proceedings of the 19th IEEE International Conference on Distributed Computing Systems, p.36, May 31-June 04, 1999
• 68: KEIDAR, I. 1994. A highly available paradigm for consistent object replication. Master's thesis, Institute of Computer Science, Hebrew University, Jerusalem, Israel. Also Institute of Computer Science, Hebrew University Tech. Rep. CS95-5, and available from: http://www.cs.huji.ac.il/ >> transis/publications. html.
• 69: Idit Keidar , Danny Dolev, Efficient message ordering in dynamic networks, Proceedings of the fifteenth annual ACM symposium on Principles of distributed computing, p.68-76, May 23-26, 1996, Philadelphia, Pennsylvania, United States [doi>10.1145/248052.248062]
• 70: KEIDAR,I.AND DOLEV, D. 2000. Totally ordered broadcast in the face of network partitions. Exploiting group communication for replication in partitionable networks. In D. Avresky, Ed., Chapter 3 of Dependable Network Computing, pp. 51-75. Kluwer Academic.
• 71: Idit Keidar , Roger I. Khazan, A Client-Server Approach to Virtually Synchronous Group Multicast: Specifications and Algorithms, Proceedings of the The 20th International Conference on Distributed Computing Systems ( ICDCS 2000), p.344, April 10-13, 2000
• 72: Idit Keidar , Jeremy Sussman , Keith Marzullo , Danny Dolev, A Client-Server Oriented Algorithm for Virtually Synchronous Group Membership in WANs, Proceedings of the The 20th International Conference on Distributed Computing Systems ( ICDCS 2000), p.356, April 10-13, 2000
• 73: Bettina Kemme , Gustavo Alonso, A Suite of Database Replication Protocols based on Group Communication Primitives, Proceedings of the The 18th International Conference on Distributed Computing Systems, p.156, May 26-29, 1998
• 74: Roger I. Khazan , Alan Fekete , Nancy A. Lynch, Multicast Group Communication as a Base for a Load-Balancing Replicated Data Service, Proceedings of the 12th International Symposium on Distributed Computing, p.258-272, September 24-26, 1998
• 75: Alan T. Krantz , Sarah E. Chodrow , Michael D. Hirsch , Injong Rhee , Julie Sult , Vaidy S. Sunderam, Design and Implementation of a Distributed X-Multiplexor, Proceedings of the The 18th International Conference on Distributed Computing Systems, p.372, May 26-29, 1998
• 76: KRANTZ, A., RHEE, I., BREUKER, C., CHODROW,S.,AND SUNDERAM, V. 1997. Supporting input multiplexing in a heterogenous environment. In JCIS (March).
• 77: Ajay D. Kshemkalyani , Mukesh Singhal, Necessary and sufficient conditions on information for causal message ordering and their optimal implementation, Distributed Computing, v.11 n.2, p.91-111, April 1998 [doi>10.1007/s004460050044]
• 78: Leslie Lamport, Time, clocks, and the ordering of events in a distributed system, Communications of the ACM, v.21 n.7, p.558-565, July 1978 [doi>10.1145/359545.359563]
• 79: LANDIS,S.AND MAFFEIS, S. 1997. Building reliable distributed systems with CORBA. Theory and Practice of Object Systems 3,1.
• 80: Kal Lin , Vassos Hadzilacos, Asynchronous Group Membership with Oracles, Proceedings of the 13th International Symposium on Distributed Computing, p.79-93, September 27-29, 1999
• 81: Nancy A. Lynch, Distributed Algorithms, Morgan Kaufmann Publishers Inc., San Francisco, CA, 1996
• 82: LYNCH,N.AND TUTTLE, M. 1989. An introduction to input/output automata. CWIQuarterly 2, 3, 219- 246.
• 83: Dahlia Malkhi , Michael Reiter, A high-throughput secure reliable multicast protocol, Journal of Computer Security, v.5 n.2, p.113-127, Jan. 1997
• 84: Dahlia Malkhi , Michael Merritt , Ohad Rodeh, Secure Reliable Multicast Protocols in a WAN, Proceedings of the 17th International Conference on Distributed Computing Systems (ICDCS '97), p.87, May 27-30, 1997
• 85: MALLOTH,C.AND SCHIPER, A. 1995. View synchronous communication in large scale networks. In Second Open Workshop of the ES- PRIT project BROADCAST (Number 6360) (July).
• 86: MALLOTH,C.P.,FELBER, P., SCHIPER, A., AND WILHELM, U. 1995. Phoenix: A toolkit for building faulttolerant, distributed applications in large scale. In Worksho on Parallel and Distributed Platforms in Industrial Products (October).
• 87: MISHRA,S.AND PANG, G. 1999. Design and implementation of an availability management service. In 19th International Conference on Distributed Computing Systems (ICDCS) Workshop on Middleware (June), pp. 128-133.
• 88: MISHRA, S., FETZER,C.,AND CRISTIAN, F. 1998. The Timewheel group membership protocol. In Third IEEE Workshop on Fault-tolerant Parallel and Distributed Systems (FTPDS) (April).
• 89: MISHRA, S., PETERSON,L.L.,AND SCHLICHTING,R.D. 1991. A membership protocol based on partial order. In International Working Conference on Dependable Computing for Critical Applications (February).
• 90: MISHRA, S., PETERSON,L.L.,AND SCHLICHTING,R.L. 1993. Consul: A communication substrate for fault-tolerant distributed programs. Distributed Systems Engineering Journal 1, 2 (Dec.), 87-103.
• 91: A. Montresor , R. Davoli , O. Babaoglu, Middleware for Dependable Network Services in Partitionable Distributed Systems, University of Bologna, 1999
• 92: MOSER, L. E., AMIR, Y., MELLIAR-SMITH, P. M., AND AGARWAL, D. A. 1994. Extended virtual synchrony. In 14th International Conference on Distributed Computing Systems (ICDCS) (June), pp. 56-65.
• 93: L. E. Moser , P. M. Melliar-Smith , P. Narasimhan, Consistent object replication in the eternal system, Theory and Practice of Object Systems, v.4 n.2, p.81-92, April 1998 [doi>10.1002/(SICI)1096-9942(1998)4:2<81::AID-TAPO3>3.3.CO;2-M]
• 94: Gil Neiger, A new look at membership services (extended abstract), Proceedings of the fifteenth annual ACM symposium on Principles of distributed computing, p.331-340, May 23-26, 1996, Philadelphia, Pennsylvania, United States [doi>10.1145/248052.248121]
• 95: OMG. 2000. Fault Tolerant CORBA Specification. OMG (Object Management Group) Document ptc/2000-04-04.
• 96: Michael K. Reiter, A Secure Group Membership Protocol, IEEE Transactions on Software Engineering, v.22 n.1, p.31-42, January 1996 [doi>10.1109/32.481515]
• 97: Injong Rhee , Shun Yan Cheung , P. W. Hutto , V. S. Sunderam, Group communication support for distributed collaboration systems, Proceedings of the 17th International Conference on Distributed Computing Systems (ICDCS '97), p.43, May 27-30, 1997
• 98: Aleta M. Ricciardi , Kenneth P. Birman, Using process groups to implement failure detection in asynchronous environments, Proceedings of the tenth annual ACM symposium on Principles of distributed computing, p.341-353, August 19-21, 1991, Montreal, Quebec, Canada [doi>10.1145/112600.112628]
• 99: RODRIGUES,L.AND VERISSIMO, P. 1992. xAMp, a protocol suite for group communication. RT /43-92 (January), INESC.
• 100: André Schiper , Michel Raynal, From group communication to transactions in distributed systems, Communications of the ACM, v.39 n.4, p.84-87, April 1996 [doi>10.1145/227210.227230]
• 101: SCHIPER,A.AND RICCIARDI, A. 1993. Virtually synchronous communication based on a weak failure suspector. In 23rd IEEE Fault-Tolerant Computing Symposium (FTCS) (June), pp. 534- 543.
• 102: SCHIPER,A.AND SANDOZ, A. 1993. Uniform reliable multicast in a virtually synchronous environment. In 13th International Conference on Distributed Computing Systems (ICDCS) (May), pp. 561-568.
• 103: Fred B. Schneider, Implementing fault-tolerant services using the state machine approach: a tutorial, ACM Computing Surveys (CSUR), v.22 n.4, p.299-319, Dec. 1990 [doi>10.1145/98163.98167]
• 104: SHAMIR, G. 1996. Shared whiteboard: A Java application in the Transis environment. Lab project, High Availability lab, The Hebrew University of Jerusalem, Jerusalem, Israel. Available from: http://www.cs.huji.ac.il/ >> transis/ publications.html.
• 105: Jeremy B. Sussman , Keith Marzullo, The Bancomat Problem: An Example of Resource Allocation in a Partitionable Asynchronous System, Proceedings of the 12th International Symposium on Distributed Computing, p.363-377, September 24-26, 1998
• 106: Jeremy Sussman , Idit Keidar , Keith Marzullo, Optimistic Virtual Synchrony, Proceedings of the 19th IEEE Symposium on Reliable Distributed Systems (SRDS'00), p.42, October 16-18, 2000
• 107: VALENCI, M. 1998. Audio conferencing using Transis. Lab project, High Availability lab, The Hebrew University of Jerusalem, Jerusalem, Israel. Available from: http://www.cs.huji.ac.il/ >> transis/publications. html.
• 108: Robbert van Renesse , Kenneth P. Birman , Silvano Maffeis, Horus: a flexible group communication system, Communications of the ACM, v.39 n.4, p.76-83, April 1996 [doi>10.1145/227210.227229]
• 109: VITENBERG, R. 1998. Properties of distributed group communication and their utilization. Master's thesis, Institute of Computer Science, Hebrew University, Jerusalem, Israel.
• 110: Werner Vogels, World wide failures, Proceedings of the 7th workshop on ACM SIGOPS European workshop: Systems support for worldwide applications, September 09-11, 1996, Connemara, Ireland [doi>10.1145/504450.504473]
• 111: VOGELS,W.AND VAN RENESSE, R. 1994. Support for complex multi-media applications using the Horus system. Ithaca, NY, Dept. of Computer Science, Cornell University. Online html document: http://www.cs.cornell.edu/Info/ People/rvr/papers/rt/novsdav.html.
• 112: Brian Whetten , Todd Montgomery , Simon M. Kaplan, A High Performance Totally Ordered Multicast Protocol, Selected Papers from the International Workshop on Theory and Practice in Distributed Systems, p.33-57, September 05-09, 1994
• 113: U. Wilhelm , A. Schiper, A hierarchy of totally ordered multicasts, Proceedings of the 14TH Symposium on Reliable Distributed Systems, p.106, September 13-15, 1995
• 114: Danny Dolev , Idit Keidar , Esti Yeger Lotem, Dynamic voting for consistent primary components, Proceedings of the sixteenth annual ACM symposium on Principles of distributed computing, p.63-71, August 21-24, 1997, Santa Barbara, California, United States [doi>10.1145/259380.259424]

INDEX TERMS

Primary Classification:
  C. Computer Systems Organization
  C.2 COMPUTER-COMMUNICATION NETWORKS
      C.2.4 Distributed Systems

Additional Classification:
  C. Computer Systems Organization
  C.2 COMPUTER-COMMUNICATION NETWORKS
      C.2.1 Network Architecture and Design
          Subjects: Network communications

  D. Software
  D.4 OPERATING SYSTEMS
      D.4.7 Organization and Design
          Subjects: Distributed systems

  F. Theory of Computation
  F.3 LOGICS AND MEANINGS OF PROGRAMS
      F.3.1 Specifying and Verifying and Reasoning about Programs
          Subjects: Specification techniques

General Terms:
Algorithms, Reliability, Standardization

Keywords:
Group communication systems, partitionable group membership, process group membership, specifications of group communication systems, view synchrony, virtual synchrony