Autori: Wu Xi
Naslov | Modeling and Verifying Transaction Scheduling for Software Transactional Memory using CSP (Proceedings Paper) |
Autori | Xu Chao Wu Xi Zhu Huibiao Popovic Miroslav V |
Info | 2019 13TH INTERNATIONAL SYMPOSIUM ON THEORETICAL ASPECTS OF SOFTWARE ENGINEERING (TASE 2019), (2019), vol. br. , str. 240-247 |
Projekat | National Natural Science Foundation of China [61872145]; Shanghai Collaborative Innovation Center of Trustworthy Software for Internet of Things [ZF1213] |
Ispravka | Web of Science Članak Citati: Web of Science Scopus |
|