Shuangqing Xiang, Huibiao Zhu, Xi Wu 0005, Lili Xiao, Marcello M. Bonsangue, Wanling Xie, Lei Zhang. Modeling and verifying the topology discovery mechanism of OpenFlow controllers in software-defined networks using process algebra. Science of Computer Programming, 187:102343, 2020. [doi]
Abstract is missing.