一种图形化的Pi演算方法

摘要

一种图形化的Pi演算方法，包括如下步骤：定义Pi演算的静态语义；定义翻译后的动态规则；定义Pi演算的传输图形；通过传输图形建立进程图，所述进程图包含了进程所有可能作的动作的有向图，并通过进程图来研究进程等价性。本发明的优点在于，提供了一种有向图的判定算法(在一定前提下的图同构判定)，这一判定算法可以作为计算机方面的自动判定进程等价提供基础。所采用的方法使用了有向图的技术来描述进程的代数性质，具有直观，可判定的优势，避免了代数性质研究的复杂，抽象的不足。

主权项

一种图形化的Pi演算方法，其特征在于，包括如下步骤：定义Pi演算的静态语义；定义翻译后的动态规则；定义Pi演算的传输图形；通过传输图形建立进程图，所述进程图包含了进程所有可能作的动作的有向图，并通过进程图来研究进程等价性。