Funder
National Key Research and Development Program of China
National Natural Science Foundation of China
Shanghai Collaborative Innovation Center of Trustworthy Software for Internet of Things
Fundamental Research Funds for the Central Universities of China
Cited by
5 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Concurrent NetKAT with Ports;Proceedings of the 39th ACM/SIGAPP Symposium on Applied Computing;2024-04-08
2. Modeling and Verifying PSO Memory Model Using CSP;Mobile Networks and Applications;2022-05-23
3. Formalization and Analysis of Ceph Using Process Algebra;IEICE Transactions on Information and Systems;2021-12-01
4. Performance evaluation of topology discovery protocols in software defined networks;2021 IEEE Conference on Network Function Virtualization and Software Defined Networks (NFV-SDN);2021-11-09
5. Data Science;Journal of Physics: Conference Series;2020-06-01