Specifying and Verifying a Broadcast and a Multicast Snooping Cache Coherence Protocol (2000)

by Daniel J. Sorin , Manoj Plakal , Anne E. Condon , Mark D. Hill , Milo M. K. Martin , Student Member , Student Member , Student Member , David A. Wood
Venue:IEEE Transactions on Parallel and Distributed Systems
Citations:26 - 10 self

Document Versions

Specifying and Verifying a Broadcast and a Multicast Snooping Cache Coherence Protocol –Daniel J. Sorin, Manoj Plakal, Anne E. Condon, Mark D. Hill, Milo M. K. Martin, Student Member, Student Member, Student Member, David A. Wood — 2000 — IEEE Transactions on Parallel and Distributed Systems
Specifying and Verifying a Broadcast and a Multicast Snooping Cache Coherence Protocol –Daniel J. Sorin, Manoj Plakal, Anne E. Condon, Mark D. Hill, Milo M. Martin, David A. Wood — 2000 — IEEE TRANSACTIONS ON PARALLEL AND DISTRIBUTED SYSTEMS
Specifying and Verifying a Broadcast and a Multicast Snooping Cache Coherence Protocol –Daniel J. Sorin, Manoj Plakal, Anne E. Condon, Mark D. Hill, Milo M. Martin, David A. Wood — 2000
Specifying and Verifying a Broadcast and a Multicast Snooping Cache Coherence Protocol –Daniel J. Sorin, Manoj Plakal, Anne E. Condon, Mark D. Hill, Milo M. K. Martin, Student Member, Student Member, Student Member, David A. Wood — 2002 — IEEE Transactions on Parallel and Distributed Systems