Performance Analysis of Multiprocessor Cache Consistency Protocols Using Generalized Timed Petri Nets.

Mary K. Vernon, Mark A. Holliday

Browse the full SIGMETRICS paper archive.