Transactional Memory Concurrency unlocked Programming 1 Bingsheng Wang– TM – Operating Systems.
Region-Based Dynamic Separation in STM Haskell (And Related Perspective)
Transactional Memory