» Verifying sequential consistency using vector clocks

| Sorted by Date | Classified by Faculty |

Harold W. Cain and Mikko H. Lipasti. Verifying sequential consistency using vector clocks. In Proceedings of the Fourteenth Annual ACM Symposium on Parallel Algorithms and Architectures, SPAA 2002, Winnipeg, Manitoba, Canada, August 11-13, 2002, pp. 153-154, ACM, 2002.

Download

(unavailable)

Abstract

(unavailable)

BibTeX

 @inproceedings{DBLP:conf/spaa/CainL02,
   author    = {Harold W. Cain and
                Mikko H. Lipasti},
   editor    = {Arnold L. Rosenberg and
                Bruce M. Maggs},
   title     = {Verifying sequential consistency using vector clocks},
   booktitle = {Proceedings of the Fourteenth Annual {ACM} Symposium on Parallel Algorithms
                and Architectures, {SPAA} 2002, Winnipeg, Manitoba, Canada, August
                11-13, 2002},
   pages     = {153--154},
   publisher = {{ACM}},
   year      = {2002},
   url       = {https://doi.org/10.1145/564870.564897},
   doi       = {10.1145/564870.564897},
   timestamp = {Wed, 21 Nov 2018 12:27:44 +0100},
   biburl    = {https://dblp.org/rec/conf/spaa/CainL02.bib},
   bibsource = {dblp computer science bibliography, https://dblp.org}
 }

---

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