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, (Feb. 2022), e6. DOI:https://doi.org/10.4108/airo.v1i.16.