Long Li, Yu Zhang, Yiyun Chen, Yong Li. Certifying Concurrent Programs Using Transactional Memory. J. Comput. Sci. Technol., 24(1):110-121, 2009. [doi]
@article{LiZCL09, title = {Certifying Concurrent Programs Using Transactional Memory}, author = {Long Li and Yu Zhang and Yiyun Chen and Yong Li}, year = {2009}, doi = {10.1007/s11390-009-9204-9}, url = {http://dx.doi.org/10.1007/s11390-009-9204-9}, researchr = {https://researchr.org/publication/LiZCL09}, cites = {0}, citedby = {0}, journal = {J. Comput. Sci. Technol.}, volume = {24}, number = {1}, pages = {110-121}, }