Alan Fekete, Nancy Lynch, Alex Shvartsman  Home/Search
Context Related
| mit.edu/~alex/podc97.ps washington.edu/Related/PODC97.ps Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: washington.edu/Related/ (more) Homepages: A.Fekete |
Rate this article:      (best)Comment on this article |
Abstract: A new, simple formal specification is presented for a partitionable view-oriented group communication service. The specification consists of a state machine to express safety requirements and a timed trace property to express performance and fault-tolerance requirements. The specification is used to construct a totally-ordered-broadcast application, using an algorithm (based on algorithms of Amir, Dolev, Keidar and others) that reconciles information derived from different views of the group.... (Update)
Cited by: More
On the Path from Total Order to Database Replication - Amir, Tutu (2004) (Correct)
Supporting Persistent Social Groups in Ubiquitous Computing .. - Wang, Bodily, Gupta (2004) (Correct)
Peer-to-Peer Support for Massively Multiplayer Games - Knutsson, Lu, Xu, Hopkins (2004) (Correct)
Similar documents (at the sentence level):
76.4%: Specifying and Using a Partitionable Group Communication.. - Fekete, Lynch, Shvartsman (1998) (Correct)
Active bibliography (related documents): More All
0.8: A Dynamic View-Oriented Group Communication Service - De Prisco, Fekete, Lynch.. (1998) (Correct)
0.6: A Dynamic Primary View Group Communication Service - De Prisco, Fekete, Lynch.. (2002) (Correct)
0.3: Consensus and Membership in Synchronous and Asynchronous.. - Galleni, Powell (1996) (Correct)
Similar documents based on text: More All
0.4: Multicast Group Communication as a Base for a.. - Khazan, Fekete, Lynch (1998) (Correct)
0.4: A Dynamic Primary Configuration Group Communication.. - De Prisco, Fekete.. (1999) (Correct)
Related documents from co-citation: More All
44: Distributed Algorithms (context) - Lynch - 1996
29: Reliable Distributed Computing with the Isis Toolkit (context) - Birman - 1994
25: Extended virtual synchrony - Moser, Amir et al. - 1994
BibTeX entry: (Update)
Alan Fekete, Nancy Lynch, and Alex Shvartsman. Specifying and using a partitionable group communication service. Proceedings of the Sixteenth Annual ACM Symposium on Principles of Distributed Computing, pages 53--62, August 1997. http://citeseer.ist.psu.edu/article/fekete97specifying.html More
@article{ fekete01specifying,
author = "Alan Fekete and Nancy Lynch and Alex Shvartsman",
title = "Specifying and using a partitionable group communication service",
journal = "ACM Transactions on Computer Systems",
volume = "19",
number = "2",
pages = "171--216",
year = "2001",
url = "citeseer.ist.psu.edu/article/fekete97specifying.html" }
Citations (may not include all citations):917 and the Ordering of Events in a Distributed System (context) - Lamport, Clocks - 1978
718 Distributed Algorithms (context) - Lynch - 1996
350 Implementing Fault-Tolerant Services using the State machine.. - Schneider - 1990
317 Reliable Distributed Computing with the Isis Toolkit (context) - Birman, van Renesse - 1994
205 Totem: A Fault-Tolerant Multicast Group Communication System - Moser, Melliar-Smith et al. - 1996
199 An Introduction to Input/Output Automata (context) - Lynch, Tuttle - 1989
182 The Transis Approach to High Availability Cluster Communicat.. - Dolev, Malki - 1996
157 Horus: A Flexible Group Communication System - van Renesse, Birman et al. - 1996
150 Extended Virtual Synchrony - Moser, Amir et al. - 1994
133 Newtop: A FaultTolerant Group Communication Protocol - Ezhilchelvan, Macedo et al. - 1995
100 the Impossibility of Group Membership - Chandra, Hadzilacos et al. - 1996
98 Forward and backward simulations -- Part II: Timing-based sy.. - Lynch, Vaandrager - 1996
97 Fast Message Ordering and Membership Using a Logical TokenPa.. - Amir, Moser et al. - 1993
97 Strong and Weak Virtual Synchrony in Horus (context) - Friedman, van Renesse
95 Forward and Backward Simulations --- Part I: Untimed Systems - Lynch, Vaandrager - 1995
55 A Framework for Partitionable Membership Service - Dolev, Malki et al.
55 Processor Group Membership Protocols: Specification, Design .. (context) - Jahanian, Fakhouri et al. - 1993
53 Relacs: A Communication Infrastructure for Constructing Reli.. - Babaoglu, Davoli et al. - 1995
50 Synchronous and Asynchronous Group Communication - Cristian - 1996
46 Properties of Membership Services - Hiltunen, Schlichting - 1995
46 Robust and Efficient Replication Using Group Communication - Amir, Dolev et al. - 1994
45 Agreeing on Processor Group Membership in Asynchronous Distr.. (context) - Cristian, Schmuck
45 Efficient Message Ordering in Dynamic Networks - Keidar, Dolev - 1996
28 A New Look at Membership Services (context) - Neiger - 1996
25 The Group Membership Problem in Asynchronous Systems (context) - Ricciardi
21 The Inherent Cost of Strong-Partial View Synchronous Communi.. - Babaoglu, Davoli et al. - 1995
13 Group, Majority and Strict Agreement in Timed Asynchronous D.. - Cristian - 1996
8 Understanding Partitions and (context) - Ricciardi, Schiper et al.
6 Providing SequentiallyConsistent Shared Objects Using Group .. (context) - Fekete, Kaashoek et al. - 1995
6 Failure Detectors, Group Membership and View-Synchronous Com.. (context) - Babaoglu, Davoli et al.
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://sys192.cs.washington.edu/Related/): More
Highly Available Directory Services in DCE - Acevedo, Bahler, Elnozahy.. (1995) (Correct)
Seamlessly Selecting the Best Copy from Internet-Wide.. - Amir, Peterson, Shaw (1998) (Correct)
Using Group Communication Technology to Implement a Reliable .. - Roy Friedman Ken (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC