%0 Journal Article
%A Junya Xu
%A Jiaqi Yin
%A Huibiao Zhu
%A Lili Xiao
%T Formalization and Verification of Kafka Messaging Mechanism Using CSP
%J Computer Science and Information Systems
%D 2023
%V 20
%N 1
%I mathdoc
%U http://geodesic.mathdoc.fr/item/CSIS_2023_20_1_a17/
%F CSIS_2023_20_1_a17