Formalization and verification of Kafka messaging mechanism using CSP

Junya Xu, Jiaqi Yin, Huibiao Zhu, Lili Xiao. Formalization and verification of Kafka messaging mechanism using CSP. Comput. Sci. Inf. Syst., 20(1):277-306, 2023. [doi]

Abstract

Abstract is missing.