A Semantic Approach to Correctness of Concurrent Transaction Executions.

conf/pods/85 Alexander Tuzhilin Paul G. Spirakis A Semantic Approach to Correctness of Concurrent Transaction Executions. 85-95 1985 PODS db/conf/pods/pods85.html#TuzhilinS85 http://doi.acm.org/10.1145/325405.325416 db/conf/pods/TuzhilinS85.html journals/anthology/cd1-3:PODS85/P085.PDF journals/anthology/dvd1:text/1-3/PODS85/P085.PDF journals/tse/BernsteinSW79 journals/tods/BernsteinSR80 journals/csur/BernsteinG81 journals/acta/CasanovaB80 journals/cacm/EswarranGLT76 conf/pods/FischerM82 journals/tods/Garcia-Molina83 conf/sigmod/KungP79 journals/jacm/Papadimitriou79b journals/tods/Schlageter78 ... journals/jacm/SilberschatzK80 books/cs/Ullman82