A Constraint-Based Formalism for Consistency in Replicated Systems (bibtex)
by Marc Shapiro, Karthikeyan Bhargavan, Nishith Krishna
Reference:
A Constraint-Based Formalism for Consistency in Replicated Systems (Marc Shapiro, Karthikeyan Bhargavan, Nishith Krishna), In 8th International Conference On Principles Of DIstributed Systems (OPODIS'04), 2004.
Bibtex Entry:
@inproceedings{DBLP:conf/opodis/ShapiroBK04,
  author    = {Marc Shapiro and
               Karthikeyan Bhargavan and
               Nishith Krishna},
  title     = {A Constraint-Based Formalism for Consistency in Replicated
               Systems},
  booktitle = {8th International Conference On Principles Of DIstributed Systems (OPODIS'04)},
  year      = {2004},
  pages     = {331-345},
pdf="pubs/a-constraint-based-formalism-replication-opodis04.pdf",
url="pubs/a-constraint-based-formalism-replication-opodis04.pdf"
}