A model of dynamic separation for transactional memory

DOI10.1016/J.IC.2009.09.004zbMath1211.68104OpenAlexW2003852114MaRDI QIDQ1959477

Martín Abadi, Tim Harris, Katherine F. Moore

Publication date: 7 October 2010

Published in: Information and Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.ic.2009.09.004

Mathematics Subject Classification ID

Theory of software (68N99)

Cites Work

• High-level small-step operational semantics for transactions
• Semantics of transactional memory and automatic mutual exclusion
• Software transactional memory
• Privatization techniques for software transactional memory

This page was built for publication: A model of dynamic separation for transactional memory