一种图形化的Pi演算方法专利登记公告

专利名称：一种图形化的Pi演算方法

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

专利类型：发明专利

专利号：CN201010604693.7

专利申请（专利权）人：上海电机学院

专利发明（设计）人：姜梦稚

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

专利地区：上海