Wenbin Wu

Formalization and Verification of the Message Delivery Mechanism in Apache Pulsar

Apache Pulsar is a cloud-native, high-performance, and scalable distributed Message-Oriented Middleware (MOM) widely used for processing large-scale real-time data streams. Due to its distributed architecture and multi-tenancy features, Pulsar excels in high-throughput and low-la...