An Exploratory Environment for Concurrency Control Algorithms - Jinhua Guo (2008)