Software Transactional Memory Yoav Cohen Seminar in Distributed Computing Spring 2007 Yoav Cohen Seminar in Distributed Computing Spring 2007.
Module 10: Creating Transactional Business Processes
Software Transactional Memory
Nominal Calculi for Transactions: ZSN in JOIN II