@ARTICLE{
author={Xu Chao,Wu Xi,Zhu Huibiao,Popovic Miroslav V},
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},
}