Zhiru Hou, Jiaqi Yin, Huibiao Zhu, Ningning Chen. Formalization and Verification of SIP Using CSP. In Hiroyuki Takizawa, Hong Shen 0001, Toshihiro Hanawa, Jong Hyuk Park, Hui Tian, Ryusuke Egawa, editors, Parallel and Distributed Computing, Applications and Technologies - 23rd International Conference, PDCAT 2022, Sendai, Japan, December 7-9, 2022, Proceedings. Volume 13798 of Lecture Notes in Computer Science, pages 158-171, Springer, 2022. [doi]
Abstract is missing.