Now showing items 10-12 of 12

    • Programming with Shared Bulletin Boards in Asynchronus Distributed Systems 

      Birman, Kenneth P.; Joseph, Thomas A.; Schmuck, Frank B.; Stephenson, Patrick (Cornell University, 1986-08)
      We consider loosely coupled distributed computing systems in which processes interact through shared resources, which are modeled as bulletin boards. The first part of the paper formalizes the notion of consistent behavior ...
    • Reliable Communication in the Presence of Failures 

      Birman, Kenneth P.; Joseph, Thomas A. (Cornell University, 1985-07)
      We report on the design and correctness of a communication facility for a distributed computer system. The facility provides support for fault tolerant process groups in the form of a family of reliable multicast protocols ...
    • State Machines and Assertions (An Integrated Approach to Modelingand Verification of Distributed Systems 

      Joseph, Thomas A.; Raeuchle, Thomas; Toueg, Sam (Cornell University, 1985-11)
      This paper describes a methodology for modeling and verifying protocols for asynchronous message passing systems. It combines the techniques of finite state analysis and axiomatic verification. It overcomes the problem ...