Model checking transactional memories

Transactional memory

Maurice Herlihy, J. Eliot B. Moss · 1993 · 2.2K citations

Computing, Computer Engineering, Computer Science +17

The notions of consistency and predicate locks in a database system

Kapali P. Eswaran, Jim Gray, Raymond A. Lorie et al. · Communications of the ACM · 1976 · 2K citations · Full text

Computing, Computer Science, Data Management +16

Wait-free synchronization

Maurice Herlihy · ACM Transactions on Programming Languages and Systems · 1991 · 1.8K citations · Full text

Computing, Computer Science, Computer Systems +16

On optimistic methods for concurrency control

H. T. Kung, John T. Robinson · ACM Transactions on Database Systems · 1981 · 1.4K citations · Full text

Computing, Computer Engineering, Computer Science +14

Software transactional memory

Nir Shavit, Dan Touitou · 1995 · 1.2K citations · Full text

Computing, Computer Science, Computer Systems +8