Semantics, Specification, and Bounded Verification of Concurrent Libraries in Replicated Systems

Kartik Nagar, Prasita Mukherjee, Suresh Jagannathan

Geo-replicated systems provide a number of desirable properties such as globally low latency, high availability, scalability, and built-in fault tolerance. Unfortunately, programmi…