%0 Conference Paper %B DBPL %D 1997 %T Static Analysis of Transactions for Conservative Multigranularity Locking %A Giuseppe Amato %A Fosca Giannotti %A Gianni Mainetto %B DBPL %P 413-430 %G eng