《進程演算的可解理論研究》是依託上海交通大學，由龍環擔任項目負責人的青年科學基金項目。
基本介紹
- 中文名：進程演算的可解理論研究
- 項目類別：青年科學基金項目
- 項目負責人：龍環
- 依託單位：上海交通大學
項目摘要,結題摘要,
項目摘要
進程演算是理論計算機科學研究中一個很活躍的分支，但關於進程演算的可解理論一直未得到應有的發展，這成為進程理論進一步發展的瓶頸。本申請項目旨在為研究基於進程演算的可解性理論提供一個基礎性框架。具體將研究基於VPC及其擴展模型的並發可解理論，並解釋並發程式語言Erlang，來說明對新理論的套用。我們在考察新理論本身性質的同時，強調與已有理論的對比研究。本項目的重要性在於試圖從底層模型出發，以有效解決以往研究中出現的困難為目標，構建一整套與上層互動式理論相融洽的並發可解理論體系。本項目將對進程演算的理論和套用研究都做出貢獻。
結題摘要
在進程演算及其相關研究中，基於模型獨立概念的並發可解理論是領域內最重要、也最基礎的研究課題之一。通過本項目，我們深入研究和發展了並發可解理論及相關課題。我們的主要研究成果包括如下三個方面：（1）提出並研究了VPC_sigma演算，研究了其與經典VPC演算的關係，並用它解釋了Core Erlang，論證了新解釋的合理性。這是用進程演算解釋Erlang語言已知的最強的結論。也是進程可解理論研究的重要推廣和套用。 （2）在模型獨立理論研究方面，我們研究了若干重要一階移動模型可解問題的類的比較關係，以及基本的完備性關係。得到了一些重要的相對化結論，為研究模型可解理論的層次關係做出了貢獻。（3）作為可解理論的具體模型，我們還研究了帶參數化運算元的高階進程理論。除發展了語義刻畫、代數理論等基本工作外，還得到了若干重要的完備性理論和相對表達能力結果。以上研究工作都服務於本項目的研究主題。本項目的研究成果及研究過程中所使用的一些方法和技術對並行理論領域發展有積極作用。 項目執行期間，依託項目發表了十餘篇論文。年均支持舉辦了一次國際學術活動，並參與了多次國內外學術交流活動。依託本項目培養了若干碩士和博士生。
