Keith Marzullo, Laura Sabel  Home/Search
Context Related
| ucsd.edu/pub/faculty/mar...subcuts.ps.Z 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: ucsd.edu (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: We present a general protocol for detecting whether a property holds in a distributed system, where the property is a member of a class of stable properties we call the locally stable properties. Our protocol is based on a decentralized method for constructing a maximal subset of the local states that are mutually consistent, which in turn is based on a weakened version of vector time stamps. The structure of our protocol lends itself to refinement, and we demonstrate its utility by deriving... (Update)
Context of citations to this paper: More
.... associated with the distributed computation 1 Such an abstraction of events of a distributed computation has already been proposed by several authors, see [5, 14]. e 0 3 e 2 3 e 4 3 e 9 3 e 0 2 e 5 2 e 11 2 e 0 1 e 2 1 e 4 1 e 8 1 Figure 2. Poset associated with Figure 1 s 3 3 s...
Cited by: More
Characterizing and Detecting The Set of Global States Seen.. - Fromentin, Raynal (1995) (Correct)
Similar documents (at the sentence level):
53.0%: Efficient Detection of a Subclass of Stable Properties - Marzullo, Sabel (1993) (Correct)
Active bibliography (related documents): More All
0.5: Universal Constructs in Distributed Computations - Ajay Kshemkalyani Ibm (1996) (Correct)
0.3: Operating Systems: The Problems Of Performance and Reliability - Randell University Of (1971) (Correct)
0.3: Building Secure and Reliable Network Applications - Birman (1996) (Correct)
Similar documents based on text: More All
0.5: Primary-Backup Protocols: Lower Bounds and Optimal.. - Marzullo, Schneider.. (1992) (Correct)
0.2: Putting Time into Proof Outlines - Schneider, Bloom, Marzullo (1993) (Correct)
0.1: Distributed-Memory Computing With the Langley.. - Riley, Cheatwood (1998) (Correct)
BibTeX entry: (Update)
K. Marzullo and L. Sabel. Efficient detection of a class of stable properties. Distributed Computing, 8(2):81--91, 1994. http://citeseer.ist.psu.edu/marzullo94efficient.html More
@article{ marzullo94efficient,
author = "Keith Marzullo and Laura S. Sabel",
title = "Efficient Detection of a Class of Stable Properties",
journal = "Distributed Computing",
volume = "8",
number = "2",
pages = "81-91",
year = "1994",
url = "citeseer.ist.psu.edu/marzullo94efficient.html" }
Citations (may not include all citations):917 and the ordering of events in a distributed system (context) - Lamport, clocks - 1978
572 Distributed snapshots: determining global states of distribu.. (context) - Chandy, Lamport - 1985
470 Lightweight causal and atomic group multicast (context) - Birman, Schiper et al. - 1991
144 Termination detection for diffusing computations (context) - Dijkstra, Scholten - 1980
110 Detecting causal relationships in distributed computations: .. - Schwarz, Mattern - 1992
104 Proving liveness properties of concurrent programs (context) - Owicki, Lamport - 1982
67 Consistent Global States of Distributed Systems: Fundamental.. - Babaoglu, Marzullo - 1993
67 Algorithms for distributed termination detection (context) - Mattern - 1987
28 ACM Transactions on Computer Systems (context) - Chandy, Misra et al. - 1983
25 Detecting termination of distributed computations using mark.. (context) - Misra - 1983
17 Time and global states of distributed systems (context) - Mattern - 1989
8 An example of stepwise refinement of distributed programs: Q.. (context) - Chandy, Misra - 1986
8 A distributed algorithm for generalized deadlock detection (context) - Bracha, Toueg - 1984
4 Preserving context information in an IPC abstraction (context) - Peterson - 1987
3 On deadlock in computer systems (context) - Holt - 1971
2 Strong stable properties in distributed systems (context) - Schiper, Sandoz - 1993
Documents on the same site (http://fermivista.math.jussieu.fr/ftp/ftp.cs.ucsd.edu.html): More
Making Real-Time Reactive Systems Reliable - Marzullo, Wood (1991) (Correct)
Storage-Efficient Reliable Files - Burkhard, Stojadinovic (1992) (Correct)
Multi-Dimensional Disk Array Reliability - Schwarz, Burkhard (1993) (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