Peng, Jie, Tangliu Wen, Yiguo Yang, and Guoming Huang. “An Event-B Approach to the Development of Fork/Join Parallel Programs”. EAI Endorsed Transactions on AI and Robotics 1 (February 18, 2022): e6. Accessed April 26, 2024. https://publications.eai.eu/index.php/airo/article/view/16.