Anish Arora, Mohamed Gouda  Home/Search
Context Related
| ohiostate.edu/pub...dconvergence.ps.Z ohiostate.edu/~an...andconvergence.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: ohiostate.edu/~anish/pub (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: We give a formal definition of what it means for a system to "tolerate" a class of "faults". The definition consists of two conditions: One, if a fault occurs when the system state is within a set of "legal" states, the resulting state is within some larger set and, if faults continue occurring, the system state remains within that larger set (Closure). And two, if faults stop occurring, the system eventually reaches a state within the legal set (Convergence). We demonstrate the applicability... (Update)
Cited by: More
Active and Concurrent Topology Maintenance - Xiaozhou Li Jayadev (Correct)
Concurrent Maintenance of Rings - Xiaozhou Li Jayadev (Correct)
Self-stabilizing Load Distribution for Replicated Servers on.. - Gärtner, Pagnia (Correct)
Active bibliography (related documents): More All
0.7: Constraint Satisfaction as a Basis for Designing.. - Arora, Gouda, Varghese (1996) (Correct)
0.5: Fault-Tolerant System Reliability In The Presence Of Imperfect.. - Alleman (1989) (Correct)
0.4: Resource Bounds for Self-Stabilizing Message-Driven Protocols - Dolev, Israeli, Moran (1997) (Correct)
Similar documents based on text: More All
0.4: Cv - Schneider (Correct)
0.3: On the Security and Vulnerability of PING - Gouda, Huang, Arora (2001) (Correct)
0.3: Reliable Bursty Convergecast in Wireless Sensor Networks - Hongwei Zhang Anish (2005) (Correct)
Related documents from co-citation: More All
23: Self-stabilizing systems in spite of distributed control (context) - Dijkstra - 1974
20: Parallel Program Design: A Foundation (context) - Chandy, Misra - 1988
14: Constraint satisfaction as a basis for designing nonmasking fault-tolerance - Arora, Gouda et al. - 1996
BibTeX entry: (Update)
Arora (A.) et Gouda (M.). -- Closure and convergence: A foundation for fault-tolerent computing. IEEE Transactions on Software Engineering, vol. 19, n 11, November 1993, pp. 1015--1027. http://citeseer.ist.psu.edu/et93closure.html More
@article{ arora93closure,
author = "Anish Arora and Mohamed G. Gouda",
title = "Closure and Convergence: A Foundation of Fault-Tolerant Computing",
journal = "Software Engineering",
volume = "19",
number = "11",
pages = "1015--1027",
year = "1993",
url = "citeseer.ist.psu.edu/et93closure.html" }
Citations (may not include all citations):1209 Concurrency Control and Recovery in Database Systems (context) - Bernstein, Hadzilacos et al. - 1987
739 Impossibility of distributed consensus with one faulty proce.. (context) - Fischer, Lynch et al. - 1985
716 Parallel Program Design: A Foundation (context) - Chandy, Misra - 1988
652 A Discipline of Programming (context) - Dijkstra - 1976
624 Computer Networks (context) - Tanenbaum - 1981
340 Self-stabilizing systems in spite of distributed control (context) - Dijkstra - 1974
293 System structure for software fault tolerance (context) - Randell - 1975
275 The Science of Programming (context) - Gries - 1981
181 Understanding fault-tolerant distributed systems - Cristian - 1991
177 Fail-stop processors: An approach to designing faulttolerant.. - Schlichting, Schneider - 1983
142 Solution of a problem in concurrent programming control (context) - Dijkstra - 1965
141 Predicate Calculus and Program Semantics (context) - Dijkstra, Scholten - 1990
109 Self-Stabilization (context) - Schneider - 1993
102 System timing (context) - Seitz - 1980
83 Self-stabilizing extensions for message-passing systems (context) - Katz, Perry - 1990
82 The Design and Analysis of Fault-Tolerant Digital Systems (context) - Johnson - 1989
66 Stabilizing communication protocols (context) - Gouda, Multari - 1991
57 Distributed reset - Arora, Gouda - 1990
51 Probabilistic logics and the synthesis of reliable organisms.. (context) - von Neumann - 1956
47 Dependable computing and fault tolerance: Concepts and termi.. (context) - Laprie - 1985
42 Diagnosis and Reliable Design of Digital Systems (context) - Breuer, Friedman - 1976
29 A formal model of crash recovery in a distributed system (context) - Skeen, Stonebraker - 1983
28 A rigorous approach to fault-tolerant programming (context) - Cristian - 1985
22 Self-stabilization of the Alternating-Bit protocol (context) - Brown, Afek - 1989
16 A foundation of fault-tolerant computing (context) - Arora - 1992
14 Methods for distributed transaction commit and recovery usin.. (context) - Mohan, Strong et al. - 1983
14 Simulating authenticated broadcast to derive simple fault to.. (context) - Srikanth, Toeug - 1987
13 A hundred impossibility proofs for distributed computing - Lynch - 1989
8 A class of inherently fault-tolerant distributed programs (context) - Bastani, Yen et al. - 1988
7 Architecture of fault-tolerant computers (context) - Siewiorek - 1986
5 The four-universe information system model for the study of .. (context) - Avizienis - 1982
5 An inherently fault-tolerant sorting algorithm (context) - Yen, Bastani et al. - 1991
4 Fault tolerance terminology proposals (context) - Anderson, Lee - 1982
4 An Introduction to Program Fault-Tolerance (context) - Mili - 1990
4 Crash recovery in a distributed storage system (context) - Lampson, Sturgis - 1979
3 Solved problems, unsolved problems and non-problems in concu.. (context) - Lamport - 1984
3 A characterization of faults in systems (context) - Ezhilchelvan, Shrivastava - 1986
3 Distributed constraint satisfaction (context) - Arora, Gouda et al.
3 Closure and convergence: A formulation of fault-tolerant com.. (context) - Arora, Gouda - 1992
2 Uniform stabilizing rings (context) - Burns, Pachl - 1989
1 A self-stabilizing algorithm for byzantine agreement (context) - Zhao, Bastani - 1987
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.cis.ohio-state.edu/~anish/pub.html): More
Detectors and Correctors: A Theory of Fault-Tolerance Components - Arora, Kulkarni (1998) (Correct)
Component Based Design of Multitolerance - Arora, Kulkarni (1998) (Correct)
Low-cost Fault-tolerance in Barrier Synchronizations - Kulkarni, Arora (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