Peng, J., Wen, . T., Yang, Y. and Huang, G. (2022) “An Event-B Approach to the Development of Fork/Join Parallel Programs”, EAI Endorsed Transactions on AI and Robotics, 1, p. e6. doi: 10.4108/airo.v1i.16.