进程演算的表达能力研究

进程演算理论研究计算实体的交互性，因计算可由交互实现，故交互能力是进程表达能力的全部，也是进程演算理论的核心研究内容。本申请项目拟对进程的表达能力进行若干探索性研究，主要考察三方面的内容：一、探索完全lambda-演算在pi-演算中的翻译；二、探索从FA到pi-演算的翻译以及其它ambient演算到pi-演算的翻译；三、研究FA子语言的表达能力及图灵完备问题，并考察其它ambient演算的类似问题。本项研究的重要性在于试图回答进程演算理论中若干重要的公开问题，这些问题的解决有较大的理论意义。