AtomCaml

swMATH22682MaRDI QIDQ34473FDOQ34473

Author name not available (Why is that?)

Described by source

• AtomCaml: first-class atomicity via rollback

Cited In (2)

• Proving opacity of transactional memory with early release
• Last-use opacity: a strong safety property for transactional memory with prerelease support

This page was built for software: AtomCaml