ªFormal Verification of the Gigamax Cache Consistency Protocol,º Shared Memory Multiprocessing (1992)

by K L McMillan, J Schwalbe