Formal modeling and analysis of RAMP transaction systems.

Si Liu, Peter Csaba lveczky, Muntasir Raihan Rahman, Jatin Ganhotra, Indranil Gupta, Jos Meseguer

Browse the full SAC paper archive.