Specifying and using a partitionable group communication service

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

Specifying and using a partitionable group communication service

Full text

Pdf (1.19 MB)

Source

Annual ACM Symposium on Principles of Distributed Computing archive
Proceedings of the sixteenth annual ACM symposium on Principles of distributed computing table of contents

Santa Barbara, California, United States

Pages: 53 - 62

Year of Publication: 1997

ISBN:0-89791-952-1

Authors

Alan Fekete	Baaser Department of Computer Science, Madsen Building F09, Univemity of Sydney, NSW 2006, Australia
Nancy Lynch	MIT Laboratory for Computer Science, 545 Technology Square, NE43-365, Cambridge, MA
Alex Shvartsman	MIT Laboratory for Computer Science, 545 Technology Square, NE43-365, Cambridge, MA

Sponsors

SIGOPS: ACM Special Interest Group on Operating Systems
SIGACT: ACM Special Interest Group on Algorithms and Computation Theory

Publisher

ACM New York, NY, USA

Bibliometrics

Downloads (6 Weeks): 2, Downloads (12 Months): 19, Citation Count: 28

Additional Information:

references cited by index terms collaborative colleagues

Tools and Actions:	Request Permissions Review this Article Save this Article to a Binder Display Formats: BibTeX EndNote ACM Ref

DOI Bookmark:	Use this link to bookmark this Article: http://doi.acm.org/10.1145/259380.259422 What is a DOI?

REFERENCES

Note: OCR errors may be found in this Reference List extracted from the full text article. ACM has opted to expose the complete List rather than only correct and linked references.

	1	Y. Amir, D. Dolev, P. Melliar-Smith and L. Moser, "Robust and Efficient Replication Using Group Communication" Technical Report 94-20, Dept of Computer Science, Hebrew University., 1994.
	2	Y. Amir, L. Moser, P. Melliar-Smith, D. Agrawa{ and P. Ciarfella, "Fast Message Ordering and Membership Using a Logical Token- Passing Ring", in Proc. of IEEE lnt. I Conference on Distributed Computin9 Systems, 1993, pp 551-560.
	3	O. Babaoglu , R. Davoli , L. -A. Giachini , M. Gray Baker, RELACS: A communications infrastructure for constructing reliable applications in large-scale distributed systems, Proceedings of the 28th Hawaii International Conference on System Sciences (HICSS'95), p.612, January 04-07, 1995
	4	O. Babaoglu , R. Davoli , A. Montresor, Group Membership and View Synchrony in Partitionable Asynchronous Distributed Systems: Specifications, University of Bologna, 1995
	5	Özalp Babaoglu , Renzo Davoli , Luigi Giachini , Paolo Sabattini, The Inherent Cost of Strong-Partial View-Synchronous Communication, Proceedings of the 9th International Workshop on Distributed Algorithms, p.72-86, September 13-15, 1995
	6	Kenneth P. Birman , Robbert Van Renesse, Reliable Distributed Computing with the ISIS Toolkit, IEEE Computer Society Press, Los Alamitos, CA, 1993
	7	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]
	8	Flaviu Cristian, Synchronous and asynchronous, Communications of the ACM, v.39 n.4, p.88-97, April 1996 [doi>10.1145/227210.227231]
	9	F. Cristian, Group, majority, and strict agreement in timed asynchronous distributed systems, Proceedings of the The Twenty-Sixth Annual International Symposium on Fault-Tolerant Computing (FTCS '96), p.178, June 25-27, 1996
	10	F. Cristian and F. Schmuck, "Agreeing on Processor Croup Membership in Asynchronous Distributed Systems", Technical Report CSE95-428, Department of Computer Science, University of California San Diego.
	11	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]
	12	D. Doiev, D. Malki and R. Strong "A Framework for Partitionable Membership Service", Technical Report TR94-6, Department of Computer Science, Hebrew University.
	13	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
	14	A. Fekete , M. F. Kaashoek , N. Lynch, Implementing sequentially consistent shared objects using broadcast and point-to-point communication, Proceedings of the 15th International Conference on Distributed Computing Systems, p.439, May 30-June 02, 1995
	15	R. Friedman and R. van Renesse, "Strong and Weak Virtual Synchrony in Horus", Technical Report TR95-1537, Department of Computer Science, Cornell University.
	16	M. Hiltunen and R. Schlichting "Properties of Membership Services", in Proc. of 2nd Internatsonal Symposium on Autonomous Decentralized Systems, pp 200-207, 1995
	17	F. Jahanian, S. Fakhouri and R. Rajkumar, "Processor Group Membership Protocols: Specification, Design and Implementation'' in Proc. of 12th IEEE Symposium on tteliabl~ Distributed Systems pp 2-11, 1993.
	18	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]
	19	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]
	20	Nancy A. Lynch, Distributed Algorithms, Morgan Kaufmann Publishers Inc., San Francisco, CA, 1996
	21	N.A. Lynch and M.R. Tuttle, "An Introduction to Ir~put/Output Automata", CWI Quarterly, vol.2, no. 3, pp. 219-246, 1989.
	22	Nancy Lynch , Frits Vaandrager, Forward and backward simulations I.: untimed systems, Information and Computation, v.121 n.2, p.214-233, Sept. 1995 [doi>10.1006/inco.1995.1134]
	23	Nancy Lynch , Frits Vaandrager, Forward and backward simulations II.: timing-based systems, Information and Computation, v.128 n.1, p.1-25, July 10, 1996 [doi>10.1006/inco.1996.0060]
	24	L. Moser, Y. Amir, P. Mel{iar-Smith and D. Agrawai "Extended Virtual Synchrony" in Proc. of IEEE lnt.l Conferr~ce on Distributed Computint Systems, 1994, pp 56-65.
	25	L. E. Moser , P. M. Melliar-Smith , D. A. Agarwal , R. K. Budhia , C. A. Lingley-Papadopoulos, Totem: a fault-tolerant multicast group communication system, Communications of the ACM, v.39 n.4, p.54-63, April 1996 [doi>10.1145/227210.227226]
	26	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]
	27	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]
	28	A. Ricciardi, "The Group Membership Problem in Asynchronous Systems", Technical Report TR92-1313, Department of Computer Science, Cornell University.
	29	Aleta M. Ricciardi , Andre Schiper , Kenneth P. Birman, Understanding Partitions and the ``No Partition'''' Assumption, Cornell University, Ithaca, NY, 1993
	30	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]

CITED BY 28

	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
	Shlomi Dolev , Elad Schiller, Communication Adaptive Self-Stabilizing Group Membership Service, IEEE Transactions on Parallel and Distributed Systems, v.14 n.7, p.709-720, July 2003
	Idit Keidar , Roger Khazan , Roger I. Khazan , Nancy Lynch , Alex Shvartsman, An inheritance-based technique for building simulation proofs incrementally, Proceedings of the 22nd international conference on Software engineering, p.478-487, June 04-11, 2000, Limerick, Ireland
	Idit Keidar , Roger I. Khazan , Nancy Lynch , Alex Shvartsman, An inheritance-based technique for building simulation proofs incrementally, ACM Transactions on Software Engineering and Methodology (TOSEM), v.11 n.1, p.63-91, January 2002
	Myla Archer , Constance Heitmeyer , Elvinia Riccobene, Using TAME to prove invariants of automata models: Two case studies, Proceedings of the third workshop on Formal methods in software practice, p.25-36, August 2000, Portland, Oregon, United States
	Yongdae Kim , Adrian Perrig , Gene Tsudik, Communication-efficient group key agreement, Proceedings of the 16th international conference on Information security: Trusted information: the new decade challenge, June 11-13, 2001, Paris, France
	Leslie Lamport, The part-time parliament, ACM Transactions on Computer Systems (TOCS), v.16 n.2, p.133-169, May 1998
	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
	Yongdae Kim , Adrian Perrig , Gene Tsudik, Simple and fault-tolerant key agreement for dynamic collaborative groups, Proceedings of the 7th ACM conference on Computer and communications security, p.235-244, November 01-04, 2000, Athens, Greece
	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
	Alberto Bartoli , Ozalp Babaoglu, Application-based dynamic primary views in asynchronous distributed systems, Journal of Parallel and Distributed Computing, v.63 n.4, p.410-433, April 2003
	Group Key Agreement Efficient in Communication, IEEE Transactions on Computers, v.53 n.7, p.905-921, July 2004
	Alberto Bartoli, Implementing a replicated service with group communication, Journal of Systems Architecture: the EUROMICRO Journal, v.50 n.8, p.493-519, August 2004
	Jeremy Sussman , Keith Marzullo, The Bancomat problem: an example of resource allocation in a partitionable asynchronous system, Theoretical Computer Science, v.291 n.1, p.103-131, 4 January 2003
	Yongdae Kim , Adrian Perrig , Gene Tsudik, Tree-based group key agreement, ACM Transactions on Information and System Security (TISSEC), v.7 n.1, p.60-96, February 2004
	Yair Amir , Yongdae Kim , Cristina Nita-Rotaru , Gene Tsudik, On the performance of group key agreement protocols, ACM Transactions on Information and System Security (TISSEC), v.7 n.3, p.457-488, August 2004
	Sebastian Gutierrez-Nolasco , Nalini Venkatasubramanian , Mark-Oliver Stehr , Carolyn Talcott, Exploring adaptability of secure group communication using formal prototyping techniques, Proceedings of the 3rd workshop on Adaptive and reflective middleware, p.232-237, October 19-19, 2004, Toronto, Ontario, Canada
	Ö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
	Massimo Franceschetti , Jehoshua Bruck, A Group Membership Algorithm with a Practical Specification, IEEE Transactions on Parallel and Distributed Systems, v.12 n.11, p.1190-1200, November 2001
	Yasushi Saito , Marc Shapiro, Optimistic replication, ACM Computing Surveys (CSUR), v.37 n.1, p.42-81, March 2005
	Yair Amir , Cristina Nita-Rotaru , Jonathan Stanton , Gene Tsudik, Secure Spread: An Integrated Architecture for Secure Group Communication, IEEE Transactions on Dependable and Secure Computing, v.2 n.3, p.248-261, July 2005
	Navneet Malpani , Yu Chen , Nitin H. Vaidya , Jennifer L. Welch, Distributed Token Circulation in Mobile Ad Hoc Networks, IEEE Transactions on Mobile Computing, v.4 n.2, p.154-165, March 2005
	Patrick P. C. Lee , John C. S. Lui , David K. Y. Yau, Distributed collaborative key agreement and authentication protocols for dynamic peer groups, IEEE/ACM Transactions on Networking (TON), v.14 n.2, p.263-276, April 2006
	Danny Dolev, Century papers at the first quarter-century milestone, Proceedings of the twenty-fifth annual ACM symposium on Principles of distributed computing, p.3-4, July 23-26, 2006, Denver, Colorado, USA
	Patrick P. C. Lee , John C. S. Lui , David K. Y. Yau, SEAL: A secure communication library for building dynamic group key agreement applications, Journal of Systems and Software, v.80 n.3, p.356-370, March, 2007
	Shanyu Zheng , David Manz , Jim Alves-Foss, A communication-computation efficient group key algorithm for large and dynamic groups, Computer Networks: The International Journal of Computer and Telecommunications Networking, v.51 n.1, p.69-93, 17 January 2007
	Myla Archer , Constance Heitmeyer , Elvinia Riccobene, Proving Invariants of I/O Automata with TAME, Automated Software Engineering, v.9 n.3, p.201-232, August 2002
	Myla Archer, TAME: Using PVS strategies for special-purpose theorem proving, Annals of Mathematics and Artificial Intelligence, v.29 n.1-4, p.139-181, 2000