A Model of Dynamic Separation for Transactional Memory.

Martn Abadi, Tim Harris, Katherine F. Moore

Browse the full CONCUR paper archive.