DMCA

Moir: A Framework for Formally Verifying Software Transactional Memory Algorithms

by Mohsen Lesani , Victor Luchangco , Mark Moir
Venue:In Proceedings of the 23rd International Conference on Concurrency Theory, CONCUR 2012
Citations:7 - 5 self