• Automatically Increasing Fault Tolerance in Distributed Systems 

      Bazzi, Rida Adnan (Georgia Institute of Technology, 1994)
      Developing fault-tolerant distributed protocols is a difficult task. The difficulty of this task increases with the severity of the failures to be tolerated. One way to deal with this difficulty is to develop protocols ...
    • The Complexity of Almost-Optimal Coordination 

      Bazzi, Rida Adnan; Neiger, Gil (Georgia Institute of Technology, 1993)
      The problem of fault-tolerant coordination is fundamental in distributed computing. In the past, researchers have considered the complexity of achieving optimal simultaneous coordination under various failure ...
    • Simplifying Fault-Tolerance: Providing the Abstraction of Crash Failures 

      Bazzi, Rida Adnan; Neiger, Gil (Georgia Institute of Technology, 1993)
      The difficulty of designing fault-tolerant distributed algorithms increases with the severity of failures that an algorithm must tolerate. This paper considers methods that automatically translate algorithms tolerant ...
    • Using Knowledge to Optimally Achieve Coordination in Distributed Systems 

      Neiger, Gil; Bazzi, Rida Adnan (Georgia Institute of Technology, 1993)
      The problem of coordinating the actions of individual processors is fundamental in distributed computing. Researchers have long endeavored to find efficient solutions to a variety of problems involving coordination. ...