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.