Browsing LCS Technical Memos (1974 - 2003) by Author "Shrira, L."

Now showing items 1-2 of 2

    • A Modular Proof of Correctness for a Network Synchronizer 

      Fekete, A.; Lynch, N.; Shrira, L. (1987-09)
      In this paper we offer a formal, rigorous proof of the correctness of Awerbuch's algorithm for network synchronization. We specify both the algorithm and the correctness condition using the I/O automaton model, which has ...

    • Replication in the Harp File System 

      Liskov, B.; Ghemawat, S.; Gruber, R.; Johnson, P.; Shrira, L.; e.a. (1991-08)
      This paper describes the design and implementation of the Harp file system. Harp is a replicated Unix file system accessible via the VFS interface. It provides highly available and reliable storage for files and guarantees ...