CC 2009Implementation and Use of Transactional Memory with Dynamic SeparationMartín Abadi, Andrew Birrell, Tim Harris, Johnson Hsieh, Michael IsardPDFDOI 10.1007/978-3-642-00722-4_6dblpBibTeXAbstract elided by the publisher.