Formal verification of the Encore Gigamax cache consistency protocol (1991)

by K McMillan, J Schwalbe
Venue:In Proceedings of the International Symposium on Shared Memory Multiprocessing