在计算机科学中,进程演算(或进程代数)是用于正规建模并发系统的多种相关方法。进程演算提供了具体描述多个独立代理人程序或者是多个进程之间交互、通信、 同步的方法。 其中包含了对进程操作和分析的描述、以及证明形式化推导进程之间存在等价关系(例如:双向模拟的运用)的代数法则。关于进程演算的典例主要包括 CSP, CCS, ACP, 和LOTOS. 最近新增的演算包括π演算,环境演算,PEPA,融合演算和联接演算。
Fifthly, for the specification of protocols, we proposed a process calculus. Then we formally defined the syntax, dynamic semantics and static semantics of our calculus.
第五,对于密码协议的描述,本文给出一个进程演算,随后定义该演算的静态语义和动态语义。
参考来源 - 密码协议的形式化分析方法研究·2,447,543篇论文数据,部分数据来源于NoteExpress
应用推荐