Verifying Distributed Directorybased Cache Coherence Protocols: S3.mp, a Case Study (1995)

by F Pong, A Nowatzyk, G Aybay, M Dubois
Venue:In Proc. of the Int. Conf. on Parallel Processing, LNCS 966