- Nottingham eTheses —final published PDF
“Compiling Concurrency Correctly—Verifying Software Transactional Memory” by Liyang HU is licensed under a Creative Commons Attribution-ShareAlike 4.0 International License.
“Compiling Concurrency Correctly—Verifying Software Transactional Memory” by Liyang HU is licensed under a Creative Commons Attribution-ShareAlike 4.0 International License.