TY  - JOUR
AU  - Junya Xu
AU  - Jiaqi Yin
AU  - Huibiao Zhu
AU  - Lili Xiao
TI  - Formalization and Verification of Kafka Messaging Mechanism Using CSP
JO  - Computer Science and Information Systems
PY  - 2023
VL  - 20
IS  - 1
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/CSIS_2023_20_1_a17/
ID  - CSIS_2023_20_1_a17
ER  -