Now you are in the subtree of Misc public knowledge tree. 

Formalising and Optimising Parallel Snapshot Isolation (TR4ICDCS'2015)