%MM 18 July 1999
% cj99-09--done

@InProceedings{cj99-09-01,
  author =       "Sarita Adve and Mark Hill",
  key =          "Adve",
  title =        "Weak 
{o}rdering---{A} {n}ew {d}efinition",
  booktitle =    "Proceedings of the Seventeenth International Symposium
                 on Computer Architecture",
  year =         "1990",
  pages =        "2--14",
publisher={IEEE Computer Society Press},
address={Seattle, Washington}
}

@Article{cj99-09-02,
  author =       "Yehuda Afek and Geoffrey Brown and Michael Merritt",
  key =          "Afek",
  title =        "A Lazy 
Cache Algorithm",
  journal =      "ACM Transactions on Programming Languages and
                 Systems",
   pages = {182--205},
  volume =       "13",
  number =       "1",
  year =         "1993",
}

@InProceedings{cj99-09-03,
  author =       "James~H. Anderson and Bojan Gro\v{s}elj",
  key =          "Groselj",
  title =        "Beyond 
{a}tomic {r}egisters: {B}ounded {w}ait-{f}ree
                 {i}mplementations of {n}ontrivial {o}bjects",
  booktitle =    "Proceedings of the Fifth International Workshop on
                 Distributed Algorithms",
  year =         "1991",
pages = {52--70},
publisher={Springer-Verlag},
address={Delphi, Greece}
}

@InProceedings{cj99-09-04,
  author =       "Hagit Attiya and Roy Friedman",
  key =          "Friedman",
  title =        "A {h}ybrid {c}ondition for {s}hared {m}emory
                 {C}onsistency",
  booktitle =    "Proceedings of the 
Twenty-fourth Annual ACM Symposium on Theory
                 of Computing",
  year =         "1992",
  publisher={ACM Press},
    address={Victoria, British Columbia, Canada},
    pages={679-690}
}

@Article{cj99-09-05,
  author =       "Hagit Attiya and Jennifer L. Welch",
  key =          "Welch",
  title =        "Sequential 
{c}onsistency versus {l}inearizability",
  journal =      "ACM Transactions on Computer Systems",
  volume =       "12",
  number =       "2",
  year =         "1994",
  pages =        "91--122",
}

@Article{cj99-09-06,
  author =       "K. Birman and T. Joseph",
  key =          "Birman",
  title =        "Reliable 
{c}ommunication in the {p}resence of
                 {f}ailures",
  journal =      "ACM Transactions on Computer Systems",
  volume=        "5",
  number=        "1",
  year=          "1987",
  pages=         "47-76",
}



@Article{cj99-09-07,
  author =       "Michel Dubois and Christoph Scheurich and Fay\'{e}
                 Briggs",
  key =          "Dubois",
  title =        "Synchronization, {c}oherence, and {e}vent {o}rdering
                 in {m}ultiprocessors",
  journal =      "IEEE Computer",
  volume =       "21",
  number =       "2",
  year =         "1988",
  pages =        "9--22",
}

@Article{cj99-09-08,
  author =       "Roy Friedman",
  key =          "Roy",
  title =        "Implementing {h}ybrid {c}onsistency with
                 {h}igh-{l}evel {s}ynchronization {o}perations",
  journal =      "Distributed Computing",
  volume =       "9",
  number =       "3",
  year =         "1995",
  pages =        "119--129",
}

@InProceedings{cj99-09-09,
  author =       "K. Gharachorloo and D. Lenoski and J. Laudon and P.
                 Gibbons and A. Gupta and J. Hennessey",
  key =          "Gharachorloo",
  title =        "{M}emory 
{C}onsistency and {E}vent {O}rdering in
                 {S}calable {S}hared-{M}emory {M}ultiprocessors",
  booktitle =    "Proceedings of the Seventeenth International Symposium
                 on Computer Architecture",
  year =         "1990",
  pages =        "15--26",
address={Seattle, Washington},
publisher={IEEE Computer Society Press}
}

@InProceedings{cj99-09-10,
  author =       "P. Gibbons and M. Merritt and K. Gharachorloo",
  key =          "Gibbons",
  title =        "Proving 
{s}equential {c}onsistency of
                 {h}igh-{p}erformance {s}hared {m}emories",
  booktitle =    "Proceedings of the Third ACM Symposium on Parallel
                 Algorithms and Architectures",
  year =         "1991",
  pages =        "292--303",
publisher={ACM Press},
address={Hilton Head, South Carolina}
}

@Article{cj99-09-11,
  author =       "Maurice Herlihy and Jeannette Wing",
  key =          "Herlihy2",
  title =        "Linearizability: {A} {c}orrectness {c}ondition for
                 {c}oncurrent {o}bjects",
  journal =      "ACM Transactions on Programming Languages and
                 Systems",
  volume =       "10",
  number =       "3",
  year =         "1990",
  pages =        "463--492",
}

@TechReport{cj99-09-12,
  author =       "Lisa Higham and Jolanta {Warpechowska-Gruca}",
  key =          "Jolanta",
  title =        "Notes 
on {a}tomic {b}roadcast",
  institution =  "University of Calgary Department of Computer Science",
  number =       "TR 95/562/14",
year=1995
}

@InProceedings{cj99-09-13,
  author =       "Martha~J. Kosa",
  key =          "Kosa1",
  title =        "Making 
{o}perations of {c}oncurrent {d}ata {t}ypes
                 {f}ast",
  booktitle =    "Proceedings of the Thirteenth ACM Symposium on
                 Principles of Distributed Computing",
  year =         "1994",
  pages =        "32--41",
publisher={ACM Press},
address={Los Angeles}
}

@InProceedings{cj99-09-14,
  author =       "Martha~J. Kosa",
  key =          "Kosa2",
title="What 
                {c}ritical {a}lgebraic {p}roperty {a}llows {o}perations of
		{c}oncurrent {a}bstract {d}ata {t}ypes to be ``{f}ast''?",
booktitle="Proceedings of the Fifteenth ACM Symposium on Principles of
		Distributed Computing",
year="1996",
pages="244",
publisher={ACM Press},
address={Philadelphia, Pennsylvania}
}



@TechReport{cj99-09-15,
  author =       "Richard A. Lipton and Jonathan S. Sandberg",
  key =          "Lipton",
  title =        "{P}{R}{A}{M}: {A} {s}calable {s}hared {m}emory",
  institution =  "Princeton University",
  number =       "CS-TR-180-88",
  year =         "1988",
}

@Article{cj99-09-16,
  author =       "Jennifer Lundelius and Nancy Lynch",
  key =          "Lundelius",
  title =        "An {u}pper and {l}ower {b}ound for {c}lock
                 {s}ynchronization",
  journal =      "Information and Control",
  volume =       "62",
  number =       "2/3",
  year =         "1984",
  pages =        "190--204",
}

@InProceedings{cj99-09-17,
  author =       "Marios Mavronicolas and Dan Roth",
  key =          "Mavronicolas",
  title =        "Efficient, 
{s}trongly {c}onsistent {i}mplementations
                 of {s}hared {m}emory",
  booktitle =    "Proceedings of the Sixth International Workshop on
                 Distributed Algorithms",
  year =         "1992",
  pages =        "346--361",
publisher={Springer-Verlag},
address={Haifa, Israel}
}

@Article{cj99-09-18,
  author =       "William Weihl",
  key =          "Weihl",
  title =        "The 
{i}mpact of {r}ecovery on {c}oncurrency
                 {c}ontrol",
  journal =      "Journal of Computer and System Sciences",
  year =         "1993",
volume=47,
number=1,
pages={157--184}
}




