Xiaojuan Li, Yanyan Huo, Yong Guan, Rui Wang, Jie Zhang. Formal Modelling and Analysis of TCP for Nodes Communication with ROS. In Shangguang Wang, Ao Zhou, editors, Collaborate Computing: Networking, Applications and Worksharing - 12th International Conference, CollaborateCom 2016, Beijing, China, November 10-11, 2016, Proceedings. Volume 201 of Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering, pages 609-614, Springer, 2016. [doi]
Abstract is missing.