Lili Xiao

Formalization and verification of Kafka messaging mechanism using CSP

Junya Xu, Jiaqi Yin, Huibiao Zhu et al. · Computer Science and Information Systems · 2022 · 13 citations · Full text

Computing, Computer Science, Computer Systems +16

Modeling and verifying the topology discovery mechanism of OpenFlow controllers in software-defined networks using process algebra

Shuangqing Xiang, Huibiao Zhu, Xi Wu et al. · Science of Computer Programming · 2019 · 12 citations · Full text

Computing, Computer Engineering, Computer Science +17

Modeling and Verifying Producer-Consumer Communication in Kafka Using CSP

Junya Xu, Jiaqi Yin, Huibiao Zhu et al. · 2021 · 12 citations

Computing, Computer Science, Computer Systems +13