Now showing items 2-3 of 3

    • Simulating Fail-Stop in Asynchronous Distributed Systems 

      Sabel, Laura S.; Marzullo, Keith (Cornell University, 1994-03)
      The fail-stop failure model appears frequently in the distributed systems literature. However, in an asynchronous distributed system, the fail-stop model cannot be implemented. In particular, it is impossible to reliably ...
    • Using Consistent Subcuts for Detecting Stable Properties 

      Marzullo, Keith; Sabel, Laura S. (Cornell University, 1992-04)
      We present a general protocol for detecting whether a property holds in a distributed system, where the property is a member of a subclass of stable properties we call the locally stable properties. Our protocol is based ...