Characterizing Transactional Memory Consistency Conditions Using Observational Refinement

DOI10.1145/3131360zbMath1426.68039OpenAlexW2777716674MaRDI QIDQ3177890

Hagit Attiya, Alexey Gotsman, Noam Rinetzky, Sandeep Hans

Publication date: 2 August 2018

Published in: Journal of the ACM (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1145/3131360

zbMATH Keywords

opacityatomicitytransactionsTMScorrectness conditionsSTMSstrong transactional memory specificationtransactional memory specification

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

This page was built for publication: Characterizing Transactional Memory Consistency Conditions Using Observational Refinement