首页> 中国专利> 一种图形化的Pi演算方法

一种图形化的Pi演算方法

页面导航

摘要
著录项
法律信息
相似文献

摘要

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

著录项

公开/公告号CN102566972B

专利类型发明专利
公开/公告日2016-11-23

原文格式PDF
申请/专利权人上海电机学院;
展开▼

申请/专利号CN201010604693.7
发明设计人姜梦稚;
展开▼

申请日2010-12-24
分类号G06F9/302(20060101);
代理机构31218 上海翼胜专利商标事务所(普通合伙);
代理人刁文魁;翟羽
地址 200240 上海市闵行区江川路690号
入库时间 2022-08-23 09:48:28

法律信息

法律状态公告日

法律状态信息

法律状态
2016-11-23

授权

授权
2014-01-29

实质审查的生效 IPC(主分类):G06F 9/302 申请日:20101224

实质审查的生效
2012-07-11

公开

公开

相似文献

专利
中文文献
外文文献

1. 一种图形化的Pi演算方法 [P] . 中国专利： CN102566972B . 2016.11.23
2. 一种基于图形化卫式命令演算的多任务编译方法 [P] . 中国专利： CN108319458B . 2021.04.06
3. Encoding method of figuration, method of decoding apparatus of figuration, coding decoding apparatus figuration, figuration, codification programme of figuration, and decryption program of figuration [P] . BR112014001478A2 . 2017-02-21

机译：图形化的编码方法，图形化的解码装置的方法，图形化解码装置的图形化，图形化，图形化的编码程序，以及图形化的解密程序
4. MODULE SYSTEM FOR POLYMORPHIC PI-CALCULUS [P] . 美国专利： US2010223604A1 . 2010-09-02

机译：多态PI演算模块系统
5. Message-passing processor based on the Pi-calculus [P] . 欧洲知识产权局专利： EP1653346A2 . 2006-05-03

机译：基于Pi演算的消息传递处理器