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

by K L McMillan, J S
Venue:Internatinoal Symposium on Shared Memory Multiprocessors