Formal veri of the gigamax cache consistency protocol (1991)

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