NOrec
From MaRDI portal
Software:36244
No author found.
Related Items (10)
Defining and Verifying Durable Opacity: Correctness for Persistent Software Transactional Memory ⋮ Transactional Mutex Locks ⋮ 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 ⋮ Mechanized proofs of opacity: a comparison of two techniques ⋮ Towards formally specifying and verifying transactional memory ⋮ Unnamed Item ⋮ In the Search for Optimal Concurrency ⋮ Brief Announcement: On Implementing Software Transactional Memory in the C++ Memory Model ⋮ Non-interference and local correctness in transactional memory
This page was built for software: NOrec
