Non-interleaving Operational Semantics for Geographically Replicated Databases.

Gabriel Ciobanu, Ross Horne

Browse the full SYNASC paper archive.