@conference {DBLP:conf/dbpl/AmatoGM97, title = {Static Analysis of Transactions for Conservative Multigranularity Locking}, booktitle = {DBPL}, year = {1997}, pages = {413-430}, author = {Giuseppe Amato and Fosca Giannotti and Gianni Mainetto} }