Modeling and Verifying Producer-Consumer Communication in Kafka Using CSP.

Junya Xu Jiaqi Yin Huibiao Zhu Lili Xiao

Published in: ECBS (2021)

Keyphrases

constraint satisfaction problems
information sharing
database
databases
genetic algorithm
communication networks
communication systems
information retrieval
special case
electronic commerce
constraint satisfaction
communication overhead
communication patterns
tree decomposition