Towards a formal account for software transactional memory

DOI10.1007/978-3-030-52482-1_16OpenAlexW3041846523MaRDI QIDQ2039909FDOQ2039909

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
• Title not available (Why is that?)
• 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)