位置：成果数据库 > 期刊 > 期刊详情页
A Schematic Axiom for Open Con
  • 时间：0
  • 相关项目：计算机科学技术的基础理论
作者： 傅育熙
同期刊论文项目
计算机科学技术的基础理论
期刊论文 8 会议论文 3
同项目期刊论文
Tau Laws for Pi Calculus
Bisimulation Congruences of Ch
On Quasi Open Bisimulation
基于可达关系的安全协议保密性分析
安全协议匿名性形式化分析
基于进程演算和知识推理的安全协议形式化分析