NOrec
From MaRDI portal
Software:36244
swMATH24487MaRDI QIDQ36244FDOQ36244
Author name not available (Why is that?)
Cited In (10)
- Towards formally specifying and verifying transactional memory
- Title not available (Why is that?)
- Brief Announcement: On Implementing Software Transactional Memory in the C++ Memory Model
- Transactional Mutex Locks
- An efficient approach to achieve compositionality using optimized multi-version object based transactional systems
- Defining and Verifying Durable Opacity: Correctness for Persistent Software Transactional Memory
- Non-interference and local correctness in transactional memory
- \(\mathrm {TM}^{2}\mathrm {C}\): a software transactional memory for many-cores
- Mechanized proofs of opacity: a comparison of two techniques
- In the Search for Optimal Concurrency
This page was built for software: NOrec
