bib for "formal methods"
bib for "multiprocessor programming"
Bibliographies
Bibliographies for "Consistency Models in Distributed Shared Memory"
Bibliographies for "Distributed Transactions"
Bibliographies for SIGACT News
Bibliographies for "Theory of Distributed Computing"
Bibs for "Atomic Snapshot and Immediate Atomic Snapshot"
Bibs for "Multicast and Broadcast"
Correctness Criteria for Replicated Database Systems with Snapshot Isolation Replicas
Database Replication Using Generalized Snapshot Isolation
Distributed Computing
Distributed Storage Systems
Distributed Transactions
Dynamo: Amazon's Highly Available Key-value Store
Formalising and Optimising Parallel Snapshot Isolation (TR4ICDCS'2015)
Non-Monotonic Snapshot Isolation (arXiv'2013)
On the Scalability of Snapshot Isolation
Paper Dictionary
PNUTS: Yahoo!'s Hosted Data Serving Platform
Problems Collected
Research Questions, Ideas, and Progress
Resources for Distributed Computing
Software Transactional Memory