RingSTM
From MaRDI portal
Software:37709
No author found.
Related Items (5)
Transactional Mutex Locks ⋮ Mechanized proofs of opacity: a comparison of two techniques ⋮ Unnamed Item ⋮ SMV: Selective Multi-Versioning STM ⋮ Brief Announcement: On Implementing Software Transactional Memory in the C++ Memory Model
This page was built for software: RingSTM
