灰箱演算相关硕士博士期刊学术论文 - 搜论网

灰箱演算相关论文

安全移动资源的语义、类型系统及其代数性质的研究

移动资源演算(MR)是一种用于描述携带资源的移动系统及其交互的形式化方法，它隶属于灰箱演算的一支。灰箱演算由Cardelli提出，最初被......

学位

移动资源演算代数性质灰箱演算判定进程等价性定律

灰箱演算的操作语义及表达能力研究

灰箱进程演算作为描述和分析移动计算系统的有效工具,因为其很强的抽象能力及其在理论和应用上的重要性,在进程演算领域一直得到广......

学位

灰箱演算移动计算进程演算互模拟编码表达能力

看过本文同时还关注