"A Semantic Approach to Correctness of Concurrent Transaction Executions."

Alexander Tuzhilin, Paul G. Spirakis (1985)
a service of Schloss Dagstuhl - Leibniz Center for Informatics