ROLA: A New Distributed Transaction Protocol and Its Formal Analysis.

Si Liu, Peter Csaba lveczky, Keshav Santhanam, Qi Wang, Indranil Gupta, Jos Meseguer

Browse the full FASE paper archive.