RingSTM

swMATH25976MaRDI QIDQ37709FDOQ37709

Author name not available (Why is that?)

Cited In (5)

• Title not available (Why is that?)
• Brief Announcement: On Implementing Software Transactional Memory in the C++ Memory Model
• Transactional Mutex Locks
• Mechanized proofs of opacity: a comparison of two techniques
• SMV: Selective Multi-Versioning STM

This page was built for software: RingSTM