Schedulability Analysis of Transactions in Software Transactional Memory Using Timed Automata.

Chaitanya Belwal, Albert M. K. Cheng

Browse the full TrustCom paper archive.