进程演算的可解理论研究

项目名称： 进程演算的可解理论研究

项目编号： No.61202023

项目类型： 青年科学基金项目

立项/批准年度： 2013

项目学科： 计算机科学学科

项目作者： 龙环

作者单位： 上海交通大学

项目金额： 24万元

中文摘要： 进程演算是理论计算机科学研究中一个很活跃的分支，但关于进程演算的可解理论一直未得到应有的发展，这成为进程理论进一步发展的瓶颈。本申请项目旨在为研究基于进程演算的可解性理论提供一个基础性框架。具体将研究基于VPC及其扩展模型的并发可解理论，并解释并发程序语言"Erlang"，来说明对新理论的应用。我们在考察新理论本身性质的同时，强调与已有理论的对比研究。本项目的重要性在于试图从底层模型出发，以有效解决以往研究中出现的困难为目标，构建一整套与上层交互式理论相融洽的并发可解理论体系。本项目将对进程演算的理论和应用研究都做出贡献。

中文关键词： 并行理论；进程演算；可解理论；完备性；程序语言

英文摘要： Process calculus has been an active field of research in theoretical computer science. However, the solvability theory of process calculus has not been duly studied, which has become the bottleneck to the further development of process calculus theory. This project aims to provide a foundational framework for the study of solvability theory in the area of process calculus. We choose the Value Passing Calculus (VPC) and its extension to be the basic models of the study on the concurrent solvability theory. The concurrent programming language 'Erlang' will be interpreted as a case study to show the application of the new theory. We will focus on both the properties about the new theory and issues in comparison with the traditional theory. The significance of this project lies in that; we try to build a basic solvability theory which should be coherent with the well-studied model independent interaction theory. This can lead to the solution of some theoretical problems in the previous work. This project will contribute to both the theoretical and application aspects of process calculus.

英文关键词： Concurrency；Process calculus；Solvability；Completeness；Programmin language