Formal Modelling and Verification of MCAC Router Architecture in ICN. - Junya Xu; Huibiao Zhu; Lili Xiao; Jiaqi Yin; Yuan Fei; Gang Lu (SEKE, 2020)

Modeling and Verifying Producer-Consumer Communication in Kafka Using CSP. - Junya Xu; Jiaqi Yin; Huibiao Zhu; Lili Xiao (ECBS, 2021)

Formalization and verification of Kafka messaging mechanism using CSP. - Junya Xu; Jiaqi Yin; Huibiao Zhu; Lili Xiao (Comput. Sci. Inf. Syst., 2023)