High-level small-step operational semantics for transactions.

Katherine F. Moore, Dan Grossman

Browse the full POPL paper archive.