跳到主要导航
跳到搜索
跳到主要内容
西北工业大学 国内
English
中文
国内
简介
研究单位
科研成果
按专业知识、名称或附属进行搜索
Formal Modeling and Verifying Dubbo Using Process Algebra
Zhiru Hou,
Jiaqi Yin
, Huibiao Zhu, Phan Cong Vinh
软件学院
East China Normal University
Nguyen Tat Thanh University
科研成果
:
期刊稿件
›
文章
›
同行评审
综述
指纹
指纹
探究 'Formal Modeling and Verifying Dubbo Using Process Algebra' 的科研主题。它们共同构成独一无二的指纹。
分类
加权
按字母排序
Computer Science
Authentication Mechanism
50%
communicating sequential process
100%
Deadlock Freedom
50%
fault-tolerance
50%
formal modeling
100%
model checker
50%
Modeling Process
50%
Parallelism
50%
Process Algebra
100%
Process Analysis
50%
Process Description
50%
Remote Procedure Call
100%
Service Registration
50%