Closure and Convergence: A Foundation of Fault-Tolerant Computing (1993)

Cached

Download Links

by Anish Arora , Mohamed Gouda
Venue:IEEE Transactions on Software Engineering
Citations:110 - 30 self

Active Bibliography

31 Designing Masking Fault-tolerance via Nonmasking Fault-tolerance (Extended Abstract) – Anish Arora, Sandeep S. Kulkarni - 1998
13 Transformational approaches to the specification and verification of fault-tolerant systems: Formal Background and classification – Felix C. Gärtner - 1999
1 Replication for Fault Tolerant Software Using a Functional and Attribute Grammar Based Computation Model – Adel Cherif - 1998
69 Fundamentals of Fault-Tolerant Distributed Computing in Asynchronous Environments – Felix C. Gärtner - 1999
23 Constraint Satisfaction as a Basis for Designing Nonmasking Fault-Tolerance – Anish Arora, Mohamed Gouda, George Varghese - 1996
1 FAULT-TOLERANT DISTRIBUTED CYBER-PHYSICAL SYSTEMS: TWO CASE STUDIES – Taylor T. Johnson - 2010
2 Rapid Prototyping and Quick Deployment of Sensor Networks – Umamaheswaran Arumugam - 2006
Stabilization of the X.25 Connection Management Protocol – Ajoy Kumar, Visalakshi Thiagarajan, Mitchell Flatebo
5 Self-Stabilization In Distributed Systems - A Short Survey – Jerzy Brzezinski, Michal Szychowiak, Dariusz Wawrzyniak - 2000
Temporal Logic for Stabilizing Systems – Y. Lakhnech, M. Siegel
1 Design and Verification of Distributed Recovery Blocks with CSP – W. L. Yeung, S. A. Schneider - 1998
87 SuperStabilizing Protocols for Dynamic Distributed Systems – Shlomi Dolev, Ted Herman - 1995
4 A MULTI-LEVEL VIEW OF DEPENDABLE COMPUTING – Behrooz Parhami - 1994
14 Dependability and Its Threats: A Taxonomy – Algirdas Avizienis, Jean-claude Laprie, Brian Randell
15 Abstractions for Constructing Dependable Distributed Systems – Shivakant Mishra, Richard D. Schlichting - 1992
1 Self-stabilization in Eulerian Networks with Cut-through Constraints – Joffroy Beauquier, Shay Kutten, Sébastien Tixeuil - 1999
5 A Highly Safe Self-Stabilizing Mutual Exclusion Algorithm – I-ling Yen, Farokh B. Bastani - 1996
10 Self-Stabilizing Depth-First Token Passing on Rooted Networks – Colette Johnen, Gianluigi Alari, Joffroy Beauquier, Ajoy K. Datta - 1997
A Generic Rewrite Method for Proving Self-Stabilization – J. Beauquier, B. Bérard, L. Fribourg, Joffroy Beauquier, Laurent Fribourg - 1998