conf/sigmod/90 Panos K. Chrysanthis Krithi Ramamritham ACTA: A Framework for Specifying and Reasoning about Transaction Structure and Behavior. 194-203 1990 SIGMOD Conference db/conf/sigmod/sigmod90.html#ChrysanthisR90 http://doi.acm.org/10.1145/93597.98729 db/conf/sigmod/ChrysanthisR90.html SIGMOD90/P194.PDF ... conf/icde/BadrinathR87 conf/vldb/BancilhonKK85 ... journals/cacm/EswarranGLT76 conf/pos/FernandezZ89 conf/vldb/Gray81 conf/vldb/GrayLPT75 conf/pods/HerlihyW88 ... ... conf/sigmod/MossGG86 ... conf/vldb/PuKH88 journals/tocs/SchwarzS84 ... ... ... journals/tc/Weihl88