《高階進程演算的互模擬研究》是依託南京航空航天大學，由曹子寧擔任項目負責人的面上項目。
基本介紹
- 中文名：高階進程演算的互模擬研究
- 項目類別：面上項目
- 項目負責人：曹子寧
- 依託單位：南京航空航天大學
- 批准號：60873025
- 申請代碼：F0201
- 負責人職稱：教授
- 研究期限：2009-01-01 至 2011-12-31
- 支持經費：27（萬元）
項目摘要
近年來，高階進程演算系統是國際上研究的一個熱點，它是一種刻畫進程傳遞的形式化系統，為網路計算、分散式計算、移動計算等提供了理論模型。但與已有的進程演算系統相比，高階進程演算系統的研究還不充分。本項目主要研究高階進程演算中的互模擬及其套用。符號互模擬是在傳值CCS與Pi演算中被提出，該概念在互模擬檢測算法和互模擬關係公理化等方向有重要套用，本項目將把符號互模擬推廣到高階進程演算系統中，並討論其套用。開互模擬是在Pi演算中提出的重要概念，其反映的等價關係更為精細。本項目將把開互模擬概念推廣到高階進程演算中，並研究其性質。分支互模擬可以反映進程的分支結構，並有一些良好的性質，本項目將把分支互模擬概念推廣到高階進程演算中，並研究其性質。最後，本項目將在上述工作基礎上，研究互模擬檢測算法，並套用到協定驗證等實例中。
