Formal Verification of the Gigamax Cache Consistency Protocol (1991)

by K L McMillan, J Schwalbe
Venue:In Proceedings of the ISSM Int’l Conf. on Parallel and Distributed Computing