SAMOA

swMATH13786MaRDI QIDQ25698FDOQ25698

Author name not available (Why is that?)

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

Cited In (4)

• AtomCaml
• JudoSTM
• 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: SAMOA