Work

Formal Modeling and Verifying Dubbo Using Process Algebra

Year: 2023

Type: article

Source: Mobile Networks and Applications

DOI: 10.1007/s11036-023-02181-z

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

Institutions: Shanghai Key Laboratory of Trustworthy Computing, East China Normal University, Northwestern Polytechnical University, Trường ĐH Nguyễn Tất Thành

Language: English

Topic: Formal Methods in Verification

Subfield: Computational Theory and Mathematics

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

OpenAlex ID: W4387877130

FWCI: 0.134

Cites: 23

Cited by: 1

Related to: 10