» Specifying and Verifying a Broadcast and a Multicast Snooping Cache Coherence Protocol

| Sorted by Date | Classified by Faculty |

Daniel J. Sorin, Manoj Plakal, Anne Condon, Mark D. Hill, Milo M. K. Martin, and David A. Wood. Specifying and Verifying a Broadcast and a Multicast Snooping Cache Coherence Protocol. IEEE Trans. Parallel Distributed Syst., 13(6):556-578, 2002.

Download

(unavailable)

Abstract

(unavailable)

BibTeX

 @article{DBLP:journals/tpds/SorinPCHMW02,
   author    = {Daniel J. Sorin and
                Manoj Plakal and
                Anne Condon and
                Mark D. Hill and
                Milo M. K. Martin and
                David A. Wood},
   title     = {Specifying and Verifying a Broadcast and a Multicast Snooping Cache
                Coherence Protocol},
   journal   = {{IEEE} Trans. Parallel Distributed Syst.},
   volume    = {13},
   number    = {6},
   pages     = {556--578},
   year      = {2002},
   url       = {https://doi.org/10.1109/TPDS.2002.1011412},
   doi       = {10.1109/TPDS.2002.1011412},
   timestamp = {Fri, 02 Oct 2020 01:00:00 +0200},
   biburl    = {https://dblp.org/rec/journals/tpds/SorinPCHMW02.bib},
   bibsource = {dblp computer science bibliography, https://dblp.org}
 }

---

Generated by bib.pl (written by Patrick Riley ) on Mon Sep 27, 2021 15:47:03 time=1207019082