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:103 - 28 self

Active Bibliography

27 Designing Masking Fault-tolerance via Nonmasking Fault-tolerance (Extended Abstract) – Anish Arora, Sandeep S. Kulkarni - 1998
Temporal Logic for Stabilizing Systems – Y. Lakhnech, M. Siegel
1 Replication for Fault Tolerant Software Using a Functional and Attribute Grammar Based Computation Model – Adel Cherif - 1998
13 Transformational approaches to the specification and verification of fault-tolerant systems: Formal Background and classification – Felix C. Gärtner - 1999
57 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
FAULT-TOLERANT DISTRIBUTED CYBER-PHYSICAL SYSTEMS: TWO CASE STUDIES – Taylor T. Johnson - 2010
1 Rapid Prototyping and Quick Deployment of Sensor Networks – Umamaheswaran Arumugam, Umamaheswaran Arumugam - 2006
34 Resource bounds for self stabilizing message driven protocols – Shlomi Dolev, Amos Israeli, Shlomo Moran - 1991
9 Resource Bounds for Self-Stabilizing Message-Driven Protocols – Shlomi Dolev, Amos Israeli, Shlomo Moran - 1997
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
1 Design and Verification of Distributed Recovery Blocks with CSP – W. L. Yeung, S. A. Schneider - 1998
75 SuperStabilizing Protocols for Dynamic Distributed Systems – Shlomi Dolev, Ted Herman - 1995
A MULTI-LEVEL VIEW OF DEPENDABLE COMPUTING – unknown authors - 1993
6 Dependability and Its Threats: A Taxonomy – Algirdas Avizienis, Jean-claude Laprie, Brian Randell
14 Abstractions for Constructing Dependable Distributed Systems – Shivakant Mishra, Richard D. Schlichting - 1992
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