Schedulability Analysis of Transactions in Software Transactional Memory Using Timed Automata

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]

Authors

Chaitanya Belwal

This author has not been identified. Look up 'Chaitanya Belwal' in Google

Albert M. K. Cheng

This author has not been identified. Look up 'Albert M. K. Cheng' in Google