Formalization and Verification of Dubbo Using CSP.

Zhiru Hou, Jiaqi Yin, Huibiao Zhu

Browse the full SEKE paper archive.