|
708
|
Parallel Program Design. A Foundation
– K M Chandy, J Misra
- 1988
|
|
350
|
F.B.: Defining liveness
– B Alpern, Schneider
- 1985
|
|
1069
|
The Byzantine Generals Problem
– Leslie Lamport, Robert Shostak, Marshall Pease
- 1982
|
|
1312
|
A Discipline of Programming
– Edsger Dijkstra
- 1976
|
|
539
|
Self-stabilizing systems in spite of distributed control
– E W Dijkstra
- 1974
|
|
137
|
Distributed Reset
– Anish Arora, Mohamed Gouda
- 1990
|
|
27
|
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
|
|
716
|
Implementing Fault-Tolerant Services Using the State Machine Approach: A Tutorial
– Fred B. Schneider, Fred B. Schneider
- 1990
|
|
49
|
Component Based Design of Multitolerant Systems
– Anish Arora, Sandeep S. Kulkarni
- 1998
|
|
14
|
Multitolerance in Distributed Reset
– Sandeep Kulkarni, Anish Arora
- 1998
|
|
18
|
A foundation for fault-tolerant computing
– A ARORA
- 1992
|
|
266
|
R.: On the synthesis of a reactive module
– A Pnueli, Rosner
- 1989
|
|
145
|
Synthesis of communicating processes from temporal logic specifications
– Z MANNA, P WOLPER
- 1981
|
|
75
|
SuperStabilizing Protocols for Dynamic Distributed Systems
– Shlomi Dolev, Ted Herman
- 1995
|
|
12
|
Compositional Design of Multitolerant Repetitive Byzantine Agreement
– Sandeep S. Kulkarni, Anish Arora
- 1997
|
|
19
|
Component Based Design of Multitolerance
– Anish Arora, Sandeep S. Kulkarni
- 1998
|
|
441
|
The Science of Programming
– D Gries
- 1981
|
|
93
|
The Consensus Problem in Fault-Tolerant Computing
– M Barborak, A Dahbura, M Malek
|
