A Model of Dynamic Separation for Transactional Memory

DOI10.1007/978-3-540-85361-9_5MaRDI QIDQ3541008zbMATH OpenOpenAlexFDO

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

Publication date 25 November 2008

Published in CONCUR 2008 - Concurrency Theory (Search for Journal in Brave)

Full work available at URL http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.164.7821

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Semantics in the theory of computing (68Q55)

Recommendations

• A model of dynamic separation for transactional memory
• Transactional Memory: Glimmer of a Theory
• Perspectives on Transactional Memory
• Semantics of transactional memory and automatic mutual exclusion
• Towards formally specifying and verifying transactional memory

Cited in

(3)

• A model of dynamic separation for transactional memory
• Proving Isolation Properties for Software Transactional Memory
• Perspectives on Transactional Memory

This page was built for publication: A Model of Dynamic Separation for Transactional Memory

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3541008)