1. Introduction

   • Michael Merritt

   Editorial Pages: 55 - 56

2. Sequential consistency and the lazy caching algorithm

   • Rob Gerth

   Original articles Pages: 57 - 59

3. Cache consistency by design

   • Ed Brinksma

   Original articles Pages: 61 - 74

4. Characterization of a sequentially consistent memory and verification of a cache memory by abstraction

   • Susanne Graf

   Original articles Pages: 75 - 90

5. Using CSP to verify sequential consistency

   • Gavin Lowe
   • Jim Davies

   Original articles Pages: 91 - 103

6. The compositional approach to sequential consistency and lazy caching

   • Wil Janssen
   • Mannes Poel
   • Job Zwiers

   Original articles Pages: 105 - 127

7. Proving refinement using transduction

   • Bengt Jonsson
   • Amir Pnueli
   • Camilla Rump

   Original articles Pages: 129 - 149

8. Lazy caching in TLA

   • Peter Ladkin
   • Leslie Lamport
   • Denis Roegel

   Original articles Pages: 151 - 174