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