Verifying Distributed Directory-Based Cahce Coherence Protocols: S3.mp, a Case Study.

Fong Pong, Andreas Nowatzyk, Gunes Aybay, Michel Dubois

Browse the full EuroPar paper archive.