Computing
Data
Concurrent Haskell
Software transactional memory
Linearizability
Transactional memory
Nested transaction
Lock
Database transaction
Transaction processing
Concurrency control
Data management