This is a paper dictionary created by *hengxin*.

## By Topics
- Distributed Storage Systems
- [Distributed Transactions](/nodes/377)
- [Software Transactional Memory](/nodes/395)
- Computability theory of distributed computing

## By States

### Summarized

### Read, to be summarized
- On the nature of progress. *Maurice Herlihy@OPODIS'11*

### Under reading
- Replicated data types: specification, verification, and optimality. *Alexey Gotsman@POPL'13*
- On the liveness of transactional memory. *Victor Bushkov@PODC'12*
- The PCL theorem: transactions cannot be Parallel, Consistent and Live. *Victor Bushkov@SPAA'14*


### To be read
- Correctness criteria for replicated database systems with snapshot isolation replicas. *J.E. Armendariz@TR'08*
- Quantitative relaxation of concurrent data structures. *Thomas A. Henzinger@POPL'13*