一种分布式事务通信有限状态机模型及其验证方法

被引：0

专利类型：

发明

申请号：

CN201110207337.6

申请日：

2011-07-22

公开(公告)号：

CN102291436A

公开(公告)日：

2011-12-21

发明(设计)人：

李航宇郎波郑剑李未

申请人：

申请人地址：

100191 北京市海淀区学院路37号

IPC主分类号：

H04L2908

IPC分类号：

H04L1224

代理机构：

北京科迪生专利代理有限责任公司 11251

代理人：

李新华;顾炜

法律状态：

实质审查的生效

国省代码：

引用

下载

收藏

法律状态

法律状态公告日	法律状态	法律状态信息
2012-04-11	实质审查的生效	实质审查的生效号牌文件类型代码:1604 号牌文件序号:101222310506 IPC(主分类):H04L 29/08 专利申请号:2011102073376 申请日:20110722
2014-09-10	专利权的终止	未缴年费专利权终止号牌文件类型代码:1605 号牌文件序号:101586817012 IPC(主分类):H04L 29/08 专利号:ZL2011102073376 申请日:20110722 授权公告日:20121212 终止日期:20130722
2011-12-21	公开	公开
2012-12-12	授权	授权

共 50 条

[1]

分布式有限状态机 [P].

S·莫内特 ;

M·吉盖尔 ;

M·朱利安 ;

B·特伦布莱 .

中国专利 :CN1914866A ,2007-02-14

[2]

一种有限状态机的控制方法及有限状态机 [P].

宋强 ;

白俊锋 ;

王庆祥 ;

许志瑜 .

中国专利 :CN111026467B ,2020-04-17

[3]

一种分布式动态有限状态机的实现方法及系统 [P].

高国栋 ;

李海波 .

中国专利 :CN111708524B ,2024-02-23

[4]

一种分布式动态有限状态机的实现方法及系统 [P].

高国栋 ;

李海波 .

中国专利 :CN111708524A ,2020-09-25

[5]

一种基于三机通信有限状态机模型的三机表决方法 [P].

詹盼盼 ;

王菁 ;

曹雅婷 ;

孙勇 ;

韦涌泉 ;

郭坚 ;

邱骐 ;

王红光 ;

刘欣 ;

徐勇 ;

李耀楠 ;

乔梁 ;

冯承钰 ;

周波 ;

张晓峰 .

中国专利 :CN108964978A ,2018-12-07

[6]

基于有限状态机的分布式联合仿真时钟同步方法 [P].

邓蓉蓉 ;

李小燕 ;

钱越 ;

陈傲 ;

余栋 ;

彭礼平 ;

李磊 ;

尉彦鹏 ;

常征 ;

杨爱艳 .

中国专利 :CN119416508A ,2025-02-11

[7]

分布式系统有限状态机扩展模型及检查点准同步方法 [P].

高胜法 ;

王亚楠 ;

左凤艳 ;

刘翠英 ;

韩建宇 .

中国专利 :CN101572723A ,2009-11-04

[8]

一种基于抽象模型的有限状态机分析方法和系统 [P].

李隆 ;

赖建新 ;

朱庆 ;

李世杰 .

中国专利 :CN112527419A ,2021-03-19

[9]

一种基于抽象模型的有限状态机分析方法和系统 [P].

李隆 ;

赖建新 ;

朱庆 ;

李世杰 .

中国专利 :CN112527419B ,2024-04-19

[10]

一种基于有限状态机的参数依赖模型的生成方法 [P].

樊红日 ;

茅健 .

中国专利 :CN107016214A ,2017-08-04

← 1 2 3 4 5 →