跳到主要导航
跳到搜索
跳到主要内容
西北工业大学 国内
English
中文
国内
简介
研究单位
科研成果
按专业知识、名称或附属进行搜索
Modeling and Verifying Producer-Consumer Communication in Kafka Using CSP
Junya Xu,
Jiaqi Yin
, Huibiao Zhu, Lili Xiao
East China Normal University
科研成果
:
书/报告/会议事项章节
›
会议稿件
›
同行评审
11
引用 (Scopus)
综述
指纹
指纹
探究 'Modeling and Verifying Producer-Consumer Communication in Kafka Using CSP' 的科研主题。它们共同构成独一无二的指纹。
分类
加权
按字母排序
Computer Science
communicating sequential process
100%
Deadlock Freedom
20%
fault-tolerance
20%
High Throughput
20%
Kafka
100%
Load Balancing
20%
Message Delivery
40%
Message Transmission
20%
Messaging System
60%
Model Checking
20%
Open Source
20%
Parallelism
20%
Process Algebra
20%
Process Analysis
20%