Correctness of Concurrent Executions of Closed Nested Transactions in Transactional Memory Systems.

Sathya Peri, Krishnamurthy Vidyasankar

Browse the full ICDCN paper archive.