Peng, J.; Wen, . T.; Yang, Y.; Huang, G. An Event-B Approach to the Development of Fork Join Parallel Programs. EAI Endorsed Trans AI Robotics 2022, 1, e6. https://doi.org/10.4108/airo.v1i.16.