Formalization and Verification of the Message Delivery Mechanism of Apache Pulsar.

Wenbin Wu, Zhiru Hou, Huibiao Zhu

Browse the full SEKE paper archive.