Daniel J. Sorin Manoj Plakal Anne Condon Mark D. Hill Milo M. K. Martin David A. Wood Specifying and Verifying a Broadcast and a Multicast Snooping Cache Coherence Protocol. 556-578 2002 13 IEEE Trans. Parallel Distrib. Syst. 6 http://doi.ieeecomputersociety.org/10.1109/TPDS.2002.1011412 db/journals/tpds/tpds13.html#SorinPCHMW02