Title: Zen and the Art of Concurrency Control: An Exploration of TM Safety Property Space with Early Release in Mind
Authors: Konrad Siek, Paweł T. Wojciechowski
Journal: WTTM '14: the 6th Workshop on the Theory of Transactional Memory (in conjunction with ACM PODC '14: the 33rd ACM Symposium on Principles of Distributed Computing)
Publication type: conference