Towards a formal account for software transactional memory

DOI10.1007/978-3-030-52482-1_16MaRDI QIDQ2039909zbMATH OpenOpenAlexFDO

Authors Doriana Medić, Claudio Antares Mezzina, Iain Phillips, Nobuko Yoshida

Publication date 5 July 2021

Full work available at URL https://doi.org/10.1007/978-3-030-52482-1_16

zbMATH Keywords

concurrencySTMtransactions

Mathematics Subject Classification ID

Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Quantum computation (81P68) Other nonclassical models of computation (68Q09)

Cited in

(12)

• Proving Isolation Properties for Software Transactional Memory
• Transactional Memory: Glimmer of a Theory
• A parametric framework for reversible \(\pi\)-calculi
• scientific article; zbMATH DE number 7269252 (Why is no real title available?)
• The Cost of Privatization in Software Transactional Memory
• Characterizing Transactional Memory Consistency Conditions Using Observational Refinement
• Comparative Transition System Semantics for Cause-Respecting Reversible Prime Event Structures
• A reversible perspective on Petri nets and event structures
• Remote Transaction Commit: Centralizing Software Transactional Memory Commits
• Model checking transactional memories
• A model of dynamic separation for transactional memory
• Privatization techniques for software transactional memory

This page was built for publication: Towards a formal account for software transactional memory

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