中文摘要：

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