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

> Research article (7th Conference on the Engineering of Computer Based Systems, 2021) · cited 12× · AI/ML

**Wikidata**: [openalex:W3164364131](https://www.wikidata.org/wiki/openalex:W3164364131)  
**Source**: https://4ort.xyz/entity/modeling-and-verifying-producer-consumer-communication-in-kafka-using-csp