Towards a formal account for software transactional memory

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

Claudio Antares Mezzina, Doriana Medić, 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

concurrencytransactionsSTM

Mathematics Subject Classification ID

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

Related Items (3)

Comparative Transition System Semantics for Cause-Respecting Reversible Prime Event Structures ⋮ A parametric framework for reversible \(\pi\)-calculi ⋮ Unnamed Item

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