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

1225 The Byzantine Generals Problem – Leslie Lamport, Robert Shostak, Marshall Pease - 1982
736 Parallel Program Design, A Foundation – K Mani Chandy, Jayadev Misra - 1988
387 Defining Liveness – Bowen Alpern, Fred B Schneider - 1985
333 On the synthesis of a reactive module – A Pnueli, R Rosner - 1989
13 Compositional Design of Multitolerant Repetitive Byzantine Agreement – Sandeep S. Kulkarni, Anish Arora - 1997
624 Self-Stabilizing Systems in Spite of Distributed Control – Edsger W Dijkstra - 1974
98 The consensus problem in fault-tolerant computing – M Barborak, M Malek - 1993
149 Distributed Reset – Anish Arora, Mohamed Gouda - 1990
19 Component Based Design of Multitolerance – Anish Arora, Sandeep S. Kulkarni - 1998
791 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
1398 A Discipline of Programming – E W Dijkstra - 1976
25 Component-based design of faulttolerance – S S Kulkarni - 1999
159 Synthesis of Communicating Processes from Temporal Logic Specifications – Z Manna, P Wolper - 1984
14 Realizability and synthesis of reactive modules – A Anuchitanukul, Z Manna - 1994
54 Automating the Addition of Fault-Tolerance – Sandeep S. Kulkarni, Anish Arora - 1926
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
311 Understanding Fault-Tolerant Distributed Systems – Flaviu Cristian - 1993