RingSTM

MaRDI QIDQ37709swMATHFDO

Official website https://dl.acm.org/citation.cfm?id=1378583

Cited in

(11)

• Mechanized proofs of opacity: a comparison of two techniques
• STMBench7
• STAMP
• DiSTM
• SMV: selective multi-versioning STM
• Transactional mutex locks
• NOrec
• JudoSTM
• Modularising verification of durable opacity
• TLRW
• Brief Announcement: On Implementing Software Transactional Memory in the C++ Memory Model

This page was built for software: RingSTM