Guardians and Actions: Linguistic Support for Robust, Distributed Programs
Specification and implementation of resilient, atomic data types
Efficient optimistic concurrency control using loosely synchronized clocks
Providing high availability using lazy replication
ACM Transactions on Programming Languages and Systems
ACM Transactions on Computer Systems
Proceedings of the 1995 ACM SIGMOD international conference on Management of data - SIGMOD ’95
Proceedings of the 1983 ACM SIGPLAN symposium on Programming language issues in software systems - SIGPLAN ’83
William Weihl
Umesh Maheshwari
Robert Gruber
Atul Adya
Sanjay Ghemawat
Robert Scheifler
Towards affordable externally consistent guarantees for geo-replicated systems
Building consistent transactions with inconsistent replication
A weighted voting algorithm for replicated directories