Process Algebra is introduced to describe and verify the protocol.
文章还进一步采用进程代数的方法对多重通信协议进行形式化描述及验证。
参考来源 - 基于SMP结点的机群通信系统关键技术的研究·2,447,543篇论文数据，部分数据来源于NoteExpress
Security Process Algebra forms a basis for secure information flow theory.
安全进程代数可以作为信息流安全的基础理论框架。
Then, by analyzing the process algebra, the evaluation criterions and the approach of BPR are made;
接着，分析过程代数式，提出流程的评价指标；
When using process algebra to model workflow, we only consider its formal semantics and its control flow.
在用进程代数建模工作流时，只是考虑了模型的形式化语义以及模型中的各种控制流关系。
应用推荐