@inproceedings{Geo,
  author        = {Gabriel Ciobanu and Ross Horne},
  title         = {Non-interleaving Operational Semantics for Geographically Replicated Databases},
  booktitle     = {15th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, {SYNASC} 2013, Timisoara, Romania, September 23-26, 2013},
  pages         = {440--447},
  year          = {2013},
  doi           = {10.1109/SYNASC.2013.64},
  timestamp     = {Thu, 15 Jun 2017 21:45:30 +0200},
  biburl        = {https://dblp.org/rec/bib/conf/synasc/CiobanuH13},
  bibsource     = {dblp computer science bibliography, https://dblp.org},
  editor        = {Nikolaj Bj{\o}rner and Viorel Negru and Tetsuo Ida and Tudor Jebelean and Dana Petcu and Stephen M. Watt and Daniela Zaharie},
  publisher     = {{IEEE} Computer Society}
}