欢迎您！东篱公司
退出
-
申报数据库
-
立项数据库
-
成果数据库
-
项目获奖数据库
位置：立项数据库 > 立项详情页
中文摘要：
近年来，高阶进程演算系统是国际上研究的一个热点，它是一种刻画进程传递的形式化系统，为网络计算、分布式计算、移动计算等提供了理论模型。但与已有的进程演算系统相比，高阶进程演算系统的研究还不充分。本项目主要研究高阶进程演算中的互模拟及其应用。符号互模拟是在传值CCS与Pi演算中被提出，该概念在互模拟检测算法和互模拟关系公理化等方向有重要应用，本项目将把符号互模拟推广到高阶进程演算系统中，并讨论其应用。开互模拟是在Pi演算中提出的重要概念，其反映的等价关系更为精细。本项目将把开互模拟概念推广到高阶进程演算中，并研究其性质。分支互模拟可以反映进程的分支结构，并有一些良好的性质，本项目将把分支互模拟概念推广到高阶进程演算中，并研究其性质。最后，本项目将在上述工作基础上，研究互模拟检测算法，并应用到协议验证等实例中。
成果综合统计
期刊论文
会议论文
专利
获奖
著作
期刊论文
会议论文
曹子宁的项目
