Modeling Database Recovery An Exercise in Stepwise Refinement Egon Börger Dipartimento di Informatica, Universita di Pisa boerger.
CSE 486/586, Spring 2013 CSE 486/586 Distributed Systems Concurrency Control --- 1 Steve Ko Computer Sciences and Engineering University at Buffalo.
CSE 486/586, Spring 2014 CSE 486/586 Distributed Systems Concurrency Control --- 1 Steve Ko Computer Sciences and Engineering University at Buffalo.
1 Implementing Atomicity and Durability Chapter 25.
Transactional Memory
