高阶进程演算的互模拟研究

项目名称： 高阶进程演算的互模拟研究

项目编号： No.60873025

项目类型： 面上项目

立项/批准年度： 2009

项目学科： 金属学与金属工艺

项目作者： 曹子宁

作者单位： 南京航空航天大学

项目金额： 27万元

中文摘要： 近年来，高阶进程演算系统是国际上研究的一个热点，它是一种刻画进程传递的形式化系统，为网络计算、分布式计算、移动计算等提供了理论模型。但与已有的进程演算系统相比，高阶进程演算系统的研究还不充分。本项目主要研究高阶进程演算中的互模拟及其应用。符号互模拟是在传值CCS与Pi演算中被提出，该概念在互模拟检测算法和互模拟关系公理化等方向有重要应用，本项目将把符号互模拟推广到高阶进程演算系统中，并讨论其应用。开互模拟是在Pi演算中提出的重要概念，其反映的等价关系更为精细。本项目将把开互模拟概念推广到高阶进程演算中，并研究其性质。分支互模拟可以反映进程的分支结构，并有一些良好的性质，本项目将把分支互模拟概念推广到高阶进程演算中，并研究其性质。最后，本项目将在上述工作基础上，研究互模拟检测算法，并应用到协议验证等实例中。

中文关键词： 高阶进程演算；符号互模拟；开互模拟；分支互模拟

英文摘要：

英文关键词：