The following publications are possibly variants of this publication:
- PSTM Transaction Scheduler Verification Based on CSP and TestingMiroslav Popovic, Marko Popovic, Branislav Kordic, Huibiao Zhu. ecbseerc 2021: [doi]
- Formal analysis and verification of the PSTM architecture using CSPAilun Liu, Huibiao Zhu, Miroslav Popovic, Shuangqing Xiang, Lei Zhang. jss, 165:110559, 2020. [doi]
- Formalization and Verification of the PSTM ArchitectureAilun Liu, Miroslav Popovic, Huibiao Zhu. apsec 2017: 427-435 [doi]
- Verifying Opacity of a Modified PSTMYucheng Fang, Huibiao Zhu, Jiaqi Yin. tase 2019: 232-239 [doi]