An Integrated Methodology for the Verification of Directory-Based Cache Protocols

Fong Pong, Per Stenström, Michel Dubois. An Integrated Methodology for the Verification of Directory-Based Cache Protocols. In ICPP. pages 158-165, 1994.

Abstract

Abstract is missing.