Now you are in the subtree of Distributed Computing project. 

Formalising and Optimising Parallel Snapshot Isolation (TR4ICDCS'2015)