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:118 - 30 self

Documents Related by Co-Citation

1233 The Byzantine Generals Problem – Leslie Lamport, Robert Shostak, Marshall Pease - 1982
739 Parallel Program Design: A Foundation – K M Chandy, J Misra - 1988
389 Defining liveness – B Alpern, F B Schneider - 1985
337 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
627 Self-stabilizing systems in spite of distributed control – E W Dijkstra - 1974
99 The consensus problem in faulttolerant computing – M Barborak, M Malek, A Dahbura - 1993
149 Distributed Reset – Anish Arora, Mohamed Gouda - 1990
19 Component Based Design of Multitolerance – Anish Arora, Sandeep S. Kulkarni - 1998
799 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
1404 A Discipline of Programming – E Dijkstra - 1976
25 Component-based design of faulttolerance – S S Kulkarni - 1999
160 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
32 Designing Masking Fault-tolerance via Nonmasking Fault-tolerance (Extended Abstract) – Anish Arora, Sandeep S. Kulkarni - 1998
24 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