The following publications are possibly variants of this publication:
- Formalization and Verification of the OpenFlow Bundle Mechanism Using CSPHuiwen Wang, Huibiao Zhu, Yuan-fei, Lili Xiao. seke 2018: 169-168 [doi]
- Formalization and Verification of the OpenFlow Bundle Mechanism Using CSPHuiwen Wang, Huibiao Zhu, Lili Xiao, Yuan-fei. ijseke, 28(11-12):1657-1677, 2018. [doi]
- Formalization and Verification of the ICC Mechanism in Android System Using CSPYixiao Lv, Jiaqi Yin, Sini Chen, Huibiao Zhu. issre 2023: 89-95 [doi]
- Formalization and Verification of Data Auction Mechanism Based on Smart Contract Using CSPYingjia Du, Yuan-fei, Sini Chen, Huibiao Zhu. seke 2023: 404-409 [doi]
- Formalization and Verification of SIP Using CSPZhiru Hou, Jiaqi Yin, Huibiao Zhu, Ningning Chen. pdcat 2023: 158-171 [doi]
- Formalization and Verification of Percolator Using CSPChenhui Wang, Ziqing Su, Huibiao Zhu. compsac 2024: 2183-2188 [doi]
- Formalization and Verification of Dubbo Using CSPZhiru Hou, Jiaqi Yin, Huibiao Zhu. seke 2021: 154-159 [doi]
- Formalization and Verification of TESAC Using CSPDongzhen Sun, Huibiao Zhu, Yuan-fei, Lili Xiao, Gang Lu, Jiaqi Yin. ijseke, 29(11&12):1741-1760, 2019. [doi]