Sini Chen, Ran Li, Huibiao Zhu. Formalization and Verification of Group Communication CoAP Using CSP. In Hong Shen, Yingpeng Sang, Yong Zhang, Nong Xiao, Hamid R. Arabnia, Geoffrey C. Fox, Ajay Gupta, Manu Malek, editors, Parallel and Distributed Computing, Applications and Technologies - 22nd International Conference, PDCAT 2021, Guangzhou, China, December 17-19, 2021, Proceedings. Volume 13148 of Lecture Notes in Computer Science, pages 616-628, Springer, 2021. [doi]
Abstract is missing.