Formal Modeling and Verifying Dubbo Using Process Algebra

Zhiru Hou, Jiaqi Yin, Huibiao Zhu, Phan Cong Vinh

Research output: Contribution to journal › Article › peer-review

Fingerprint

Dive into the research topics of 'Formal Modeling and Verifying Dubbo Using Process Algebra'. Together they form a unique fingerprint.

Computer Science