Useful Links

• Hybrid Atomicity Checking
• Haskell STM
• Linear Logic
• CLEAN