符号化语义相关硕士博士期刊学术论文 - 搜论网

符号化语义相关论文

面向安全协议的移动进程演算的符号化理论

Applied pi-演算是用来表示和分析安全协议的演算。它从pi-演算中继承了通信，并发以及限制算子。它引入了原语函数和等值理论来表示......

学位

符号化语义符号化互模拟证明系统安全协议复制算子

完全π-演算的符号化开语义

该文用符号化方法对带有不等名测试算子π-演算模型中开观察同余关系进行了深入研究.主要的工作包括以下三方面:1.参照Fu和Yang关......

学位

π-演算符号化语义开互模拟证明系统算法

看过本文同时还关注