進程演算的表達能力研究

《進程演算的表達能力研究》是依託上海交通大學，由傅育熙擔任項目負責人的面上項目。

基本介紹

• 中文名：進程演算的表達能力研究
• 項目類別：面上項目
• 項目負責人：傅育熙
• 依託單位：上海交通大學
• 批准號：60873034
• 申請代碼：F0201
• 研究期限：2009-01-01 至 2011-12-31
• 負責人職稱：教授
• 支持經費：30（萬元）

項目摘要

進程演算理論研究計算實體的互動性，因計算可由互動實現，故互動能力是進程表達能力的全部，也是進程演算理論的核心研究內容。本申請項目擬對進程的表達能力進行若干探索性研究，主要考察三方面的內容：一、探索完全lambda-演算在pi-演算中的翻譯；二、探索從FA到pi-演算的翻譯以及其它ambient演算到pi-演算的翻譯；三、研究FA子語言的表達能力及圖靈完備問題，並考察其它ambient演算的類似問題。本項研究的重要性在於試圖回答進程演算理論中若干重要的公開問題，這些問題的解決有較大的理論意義。