Consistency in a partitioned network: a survey
ACM Computing Surveys (CSUR)
Linearizability: a correctness condition for concurrent objects
ACM Transactions on Programming Languages and Systems (TOPLAS)
Providing high availability using lazy replication
ACM Transactions on Computer Systems (TOCS)
Transactional memory: architectural support for lock-free data structures
ISCA '93 Proceedings of the 20th annual international symposium on computer architecture
Sharing memory robustly in message-passing systems
Journal of the ACM (JACM)
Reduction: a method of proving properties of parallel programs
Communications of the ACM
Purely Functional Data Structures
Purely Functional Data Structures
Weak consistency: a generalized theory and optimistic implementations for distributed transactions
Weak consistency: a generalized theory and optimistic implementations for distributed transactions
GeoQuorums: implementing atomic memory in mobile ad hoc networks
Distributed Computing - Special issue: DISC 03
Queue - Scalable Web Services
Dynamic atomic storage without consensus
Journal of the ACM (JACM)
Transactional storage for geo-replicated systems
SOSP '11 Proceedings of the Twenty-Third ACM Symposium on Operating Systems Principles
Replication: theory and Practice
Replication: theory and Practice
| Hi-index | 0.00 |