Evaluating correctness criteria for transactions

David E. Langworthy. Evaluating correctness criteria for transactions. SIGPLAN Notices, 24(4):139-141, 1989. [doi]

Abstract

Abstract is missing.