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]
@inproceedings{BelwalC11b-0,
title = {Schedulability Analysis of Transactions in Software Transactional Memory Using Timed Automata},
author = {Chaitanya Belwal and Albert M. K. Cheng},
year = {2011},
doi = {10.1109/TrustCom.2011.149},
url = {http://doi.ieeecomputersociety.org/10.1109/TrustCom.2011.149},
researchr = {https://researchr.org/publication/BelwalC11b-0},
cites = {0},
citedby = {0},
pages = {1091-1098},
booktitle = {IEEE 10th International Conference on Trust, Security and Privacy in Computing and Communications, TrustCom 2011, Changsha, China, 16-18 November, 2011},
publisher = {IEEE},
isbn = {978-1-4577-2135-9},
}