Modeling and Verifying Transaction Scheduling for Software Transactional Memory using CSP.

Chao Xu, Xi Wu, Huibiao Zhu, Miroslav Popovic

Browse the full TASE paper archive.