» Lamport Clocks: Verifying a Directory Cache-Coherence Protocol

| Sorted by Date | Classified by Faculty |

Manoj Plakal, Daniel J. Sorin, Anne Condon, and Mark D. Hill. Lamport Clocks: Verifying a Directory Cache-Coherence Protocol. In Proceedings of the Tenth Annual ACM Symposium on Parallel Algorithms and Architectures, SPAA '98, Puerto Vallarta, Mexico, June 28 - July 2, 1998, pp. 67-76, ACM, 1998.

Download

(unavailable)

Abstract

(unavailable)

BibTeX

 @inproceedings{DBLP:conf/spaa/PlakalSCH98,
   author    = {Manoj Plakal and
                Daniel J. Sorin and
                Anne Condon and
                Mark D. Hill},
   editor    = {Gary L. Miller and
                Phillip B. Gibbons},
   title     = {Lamport Clocks: Verifying a Directory Cache-Coherence Protocol},
   booktitle = {Proceedings of the Tenth Annual {ACM} Symposium on Parallel Algorithms
                and Architectures, {SPAA} '98, Puerto Vallarta, Mexico, June 28 -
                July 2, 1998},
   pages     = {67--76},
   publisher = {{ACM}},
   year      = {1998},
   url       = {https://doi.org/10.1145/277651.277672},
   doi       = {10.1145/277651.277672},
   timestamp = {Wed, 21 Nov 2018 12:27:44 +0100},
   biburl    = {https://dblp.org/rec/conf/spaa/PlakalSCH98.bib},
   bibsource = {dblp computer science bibliography, https://dblp.org}
 }

---

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