PhD dissertation on the scalable commutativity rule