ACTA: A Framework for Specifying and Reasoning about Transaction Structure and Behavior.

Panos K. Chrysanthis, Krithi Ramamritham

Browse the full SIGMOD paper archive.