Formal Specification of Cache Coherence in a Shared Memory Multiprocessor (1991)

by Stein Gjessing, Ellen Munthe-Kaas
Venue:Department of Informatics, University of Oslo