Non-interference and Local Correctness in Transactional Memory.

Petr Kuznetsov, Sathya Peri

Browse the full ICDCN paper archive.