@ARTICLE{
author={Xu Chao|,Wu Xi|,Zhu Huibiao|,Popovic Miroslav V|0000-0001-8385-149X},
year={2019},
title={Modeling and Verifying Transaction Scheduling for Software Transactional Memory using CSP},
journal={2019 13TH INTERNATIONAL SYMPOSIUM ON THEORETICAL ASPECTS OF SOFTWARE ENGINEERING (TASE 2019)},
volume={},
number={},
pages={240-247},
document_type={Proceedings Paper},
}