External Links

    Journal: Distributed Computing

    Volume 12, Issue 2-3

    55 -- 56Michael Merritt. Introduction
    57 -- 59Rob Gerth. Sequential Consistency and the Lazy Caching Algorithm
    61 -- 74Ed Brinksma. Cache Consistency by Design
    75 -- 90Susanne Graf. Characterization of a Sequentially Consistent Memory and Verification of a Cache Memory by Abstraction
    91 -- 103Gavin Lowe, Jim Davies. Using CSP to Verify Sequential Consistency
    105 -- 127Wil Janssen, Mannes Poel, Job Zwiers. The Compositional Approach to Sequential Consistency and Lazy Caching
    129 -- 149Bengt Jonsson, Amir Pnueli, Camilla Rump. Proving Refinement Using Transduction
    151 -- 174Peter B. Ladkin, Leslie Lamport, Bryan Olivier, Denis Roegel. Lazy Caching in TLA
    runs on