There was an error while loading. Please reload this page.
A general purpose transaction semantics and a few accompanying implementations.