%0 Journal Article %A João Lourenço %A Ricardo Dias %T Detecting Concurrency Anomalies in Transactional Memory Programs %J Computer Science and Information Systems %D 2011 %V 8 %N 2 %I mathdoc %U http://geodesic.mathdoc.fr/item/CSIS_2011_8_2_a14/ %F CSIS_2011_8_2_a14