Formalization and Verification of RocketMQ Using CSP.

Yiwen Liu, Hongyan Mao, Ning Qin, Kai Chen

Browse the full ICPADS paper archive.