Gabriel Ciobanu, Ross Horne. Non-interleaving Operational Semantics for Geographically Replicated Databases. In 15th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2013, Timisoara, Romania, September 23-26, 2013. pages 440-447, IEEE, 2013. [doi]
Abstract is missing.