Characterization of a sequentially consistent memory and verification of a cache memory by abstraction Susanne Graf Original articles Pages: 75 - 90
The compositional approach to sequential consistency and lazy caching Wil JanssenMannes PoelJob Zwiers Original articles Pages: 105 - 127
Proving refinement using transduction Bengt JonssonAmir PnueliCamilla Rump Original articles Pages: 129 - 149