Abstract

Featherweight transactions: decoupling threads and atomic blocks.

‚Äč