Perspectives on Transactional Memory

DOI10.1007/978-3-642-04081-8_1zbMath1254.68160OpenAlexW1490121672MaRDI QIDQ3184661

Martín Abadi, Tim Harris

Publication date: 22 October 2009

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

Full work available at URL: https://doi.org/10.1007/978-3-642-04081-8_1

Mathematics Subject Classification ID

Theory of programming languages (68N15) Semantics in the theory of computing (68Q55) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (1)

An operational semantics for object-oriented concepts based on the class hierarchy

Cites Work

• Unnamed Item
• Implementation tradeoffs in the design of flexible transactional memory support
• Model checking transactional memories
• A transactional object calculus
• High-level small-step operational semantics for transactions
• Semantics of transactional memory and automatic mutual exclusion
• Permissiveness in Transactional Memories
• A Model of Dynamic Separation for Transactional Memory
• Completeness and Nondeterminism in Model Checking Transactional Memories
• A model of cooperative threads
• Privatization techniques for software transactional memory

This page was built for publication: Perspectives on Transactional Memory