SAMOA

MaRDI QIDQ25698swMATHFDO

Official website http://ieeexplore.ieee.org/xpl/login.jsp?tp=&arnumber=1302992

Cited in

(4)

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

This page was built for software: SAMOA