Peng, Jie, Tangliu Wen, Yiguo Yang, and Guoming Huang. 2022. “An Event-B Approach to the Development of Fork/Join Parallel Programs”. EAI Endorsed Transactions on AI and Robotics 1 (February):e6. https://doi.org/10.4108/airo.v1i.16.