A Semantic Approach to Correctness of Concurrent Transaction Executions.

Alexander Tuzhilin, Paul G. Spirakis

Browse the full PODS paper archive.