传值CCS和π—演算互模拟等价的验证理论和算法  

作　　者：李舟军 

出　　处：《计算机工程与科学》2003年第3期109-109,共1页Computer Engineering & Science

关 键 词：验证算法 验证理论 CCS Π-演算 模拟等价 

分 类 号：TP301.6[自动化与计算机技术—计算机系统结构]