Chaitanya Belwal, Albert M. K. Cheng. Schedulability Analysis of Transactions in Software Transactional Memory Using Timed Automata. In IEEE 10th International Conference on Trust, Security and Privacy in Computing and Communications, TrustCom 2011, Changsha, China, 16-18 November, 2011. pages 1091-1098, IEEE, 2011. [doi]
Abstract is missing.