AtomCaml
From MaRDI portal
Software:34473
No author found.
Related Items (2)
Last-use opacity: a strong safety property for transactional memory with prerelease support ⋮ Proving opacity of transactional memory with early release
This page was built for software: AtomCaml