Modelling and Validation of Shared Memory Coherency Protocols

Andrew J. Bennett, A. J. Field, Peter G. Harrison. Modelling and Validation of Shared Memory Coherency Protocols. Perform. Eval., 27/28(4):541-563, 1996.

Abstract

Abstract is missing.