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

by Fong Pong , Andreas Nowatzyk , Gunes Aybay , Michel Dubois
Venue:Proc. First Int'l EURO-PAR Conf
Citations:13 - 5 self