Transactional Smart Contracts in Blockchain Systems
Victor Zakhary, Divyakant Agrawal, Amr El Abbadi · arXiv (Cornell University) · 2019
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.