Formal verification of the encore gigamax cache consistency protocols (1991)

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