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

Documents Related by Co-Citation

1227 The Byzantine Generals Problem – Leslie Lamport, Robert Shostak, Marshall Pease - 1982
738 Parallel Program Design: A Foundation – K Chandy, J Misra - 1989
391 Defining liveness – Bowen Alpern, Fred B Schneider - 1985
1404 A Discipline of Programming – E W Dijkstra - 1976
13 Compositional Design of Multitolerant Repetitive Byzantine Agreement – Sandeep S. Kulkarni, Anish Arora - 1997
632 Self stabilizing systems in spite of distributed control – E W Dijkstra - 1974
149 Distributed Reset – Anish Arora, Mohamed Gouda - 1990
19 Component Based Design of Multitolerance – Anish Arora, Sandeep S. Kulkarni - 1998
31 Designing Masking Fault-tolerance via Nonmasking Fault-tolerance (Extended Abstract) – Anish Arora, Sandeep S. Kulkarni - 1998
23 Constraint Satisfaction as a Basis for Designing Nonmasking Fault-Tolerance – Anish Arora, Mohamed Gouda, George Varghese - 1996
794 Implementing Fault-Tolerant Services Using the State Machine Approach: A Tutorial – Fred B. Schneider, Fred B. Schneider - 1990
54 Component Based Design of Multitolerant Systems – Anish Arora, Sandeep S. Kulkarni - 1998
14 Multitolerance in Distributed Reset – Sandeep Kulkarni, Anish Arora - 1998
19 A foundation of fault-tolerant computing – A Arora - 1992
338 R.: On the synthesis of a reactive module – A Pnueli, Rosner - 1989
159 Synthesis of communicating processes from temporal logic specifications – Z Manna, P Wolper - 1984
87 SuperStabilizing Protocols for Dynamic Distributed Systems – Shlomi Dolev, Ted Herman - 1995
469 The Science of Programming – D Gries - 1981
99 The consensus problem in fault-tolerant computing – M Barborak, M Malek, A Dahbura - 1993