Modeling and Verifying OpenFlow Scheduled Bundle Mechanism Using CSP.

Huiwen Wang, Huibiao Zhu, Lili Xiao, Wanling Xie, Gang Lu

Browse the full COMPSAC paper archive.