Formal Verification of the Gigamax Cache-Consistency Protocol (1991)

by K L McMillan, J Schwalbe
Venue:In International Symposium on Shared Memory Multiprocessing