NOrec
From MaRDI portal
Cited in
(20)- Synchrobench
- \(\mathrm {TM}^{2}\mathrm {C}\): a software transactional memory for many-cores
- Mechanized proofs of opacity: a comparison of two techniques
- An efficient approach to achieve compositionality using optimized multi-version object based transactional systems
- STAMP
- Non-interference and local correctness in transactional memory
- DiSTM
- In the search for optimal concurrency
- Transactional mutex locks
- JudoSTM
- RingSTM
- Mnemosyne
- ATOM
- WHISPER
- TMunit
- Towards formally specifying and verifying transactional memory
- Defining and verifying durable opacity: correctness for persistent software transactional memory
- Modularising verification of durable opacity
- TLRW
- Brief Announcement: On Implementing Software Transactional Memory in the C++ Memory Model
This page was built for software: NOrec
