  This paper presents TXSC, a framework that provides smart contract developers
with transaction primitives. These primitives allow developers to write smart
contracts without the need to reason about the anomalies that can arise due to
concurrent smart contract function executions.
