Martín Abadi, Tim Harris, Katherine F. Moore. A Model of Dynamic Separation for Transactional Memory. In Franck van Breugel, Marsha Chechik, editors, CONCUR 2008 - Concurrency Theory, 19th International Conference, CONCUR 2008, Toronto, Canada, August 19-22, 2008. Proceedings. Volume 5201 of Lecture Notes in Computer Science, pages 6-20, Springer, 2008.
Abstract is missing.