JPH0313779B2 - - Google Patents

Info

Publication number
JPH0313779B2
JPH0313779B2 JP59271938A JP27193884A JPH0313779B2 JP H0313779 B2 JPH0313779 B2 JP H0313779B2 JP 59271938 A JP59271938 A JP 59271938A JP 27193884 A JP27193884 A JP 27193884A JP H0313779 B2 JPH0313779 B2 JP H0313779B2
Authority
JP
Japan
Prior art keywords
state
transition
protocol
stable
transitions
Prior art date
Legal status (The legal status is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the status listed.)
Expired - Lifetime
Application number
JP59271938A
Other languages
English (en)
Japanese (ja)
Other versions
JPS61150547A (ja
Inventor
Yoshiaki Tsunoda
Yasushi Wakahara
Masamitsu Norikoshi
Current Assignee (The listed assignees may be inaccurate. Google has not performed a legal analysis and makes no representation or warranty as to the accuracy of the list.)
KDDI Corp
Original Assignee
Kokusai Denshin Denwa KK
Priority date (The priority date is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the date listed.)
Filing date
Publication date
Application filed by Kokusai Denshin Denwa KK filed Critical Kokusai Denshin Denwa KK
Priority to JP59271938A priority Critical patent/JPS61150547A/ja
Priority to CA000484679A priority patent/CA1224880A/en
Priority to US06/749,591 priority patent/US4694422A/en
Publication of JPS61150547A publication Critical patent/JPS61150547A/ja
Publication of JPH0313779B2 publication Critical patent/JPH0313779B2/ja
Granted legal-status Critical Current

Links

Landscapes

  • Detection And Prevention Of Errors In Transmission (AREA)
  • Communication Control (AREA)
  • Maintenance And Management Of Digital Transmission (AREA)
  • Debugging And Monitoring (AREA)
JP59271938A 1984-12-25 1984-12-25 プロトコルの論理検証方式 Granted JPS61150547A (ja)

Priority Applications (3)

Application Number Priority Date Filing Date Title
JP59271938A JPS61150547A (ja) 1984-12-25 1984-12-25 プロトコルの論理検証方式
CA000484679A CA1224880A (en) 1984-12-25 1985-06-20 Protocol validation system
US06/749,591 US4694422A (en) 1984-12-25 1985-06-24 Protocol validation system

Applications Claiming Priority (1)

Application Number Priority Date Filing Date Title
JP59271938A JPS61150547A (ja) 1984-12-25 1984-12-25 プロトコルの論理検証方式

Publications (2)

Publication Number Publication Date
JPS61150547A JPS61150547A (ja) 1986-07-09
JPH0313779B2 true JPH0313779B2 (enExample) 1991-02-25

Family

ID=17506927

Family Applications (1)

Application Number Title Priority Date Filing Date
JP59271938A Granted JPS61150547A (ja) 1984-12-25 1984-12-25 プロトコルの論理検証方式

Country Status (1)

Country Link
JP (1) JPS61150547A (enExample)

Cited By (2)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
US9038403B2 (en) 2012-04-02 2015-05-26 Whirlpool Corporation Vacuum insulated door structure and method for the creation thereof
US9689604B2 (en) 2014-02-24 2017-06-27 Whirlpool Corporation Multi-section core vacuum insulation panels with hybrid barrier film envelope

Cited By (2)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
US9038403B2 (en) 2012-04-02 2015-05-26 Whirlpool Corporation Vacuum insulated door structure and method for the creation thereof
US9689604B2 (en) 2014-02-24 2017-06-27 Whirlpool Corporation Multi-section core vacuum insulation panels with hybrid barrier film envelope

Also Published As

Publication number Publication date
JPS61150547A (ja) 1986-07-09

Similar Documents

Publication Publication Date Title
Devillers et al. Verification of a leader election protocol: Formal methods applied to IEEE 1394
US7080087B2 (en) Automatic aggregation method, automatic aggregation apparatus, and recording medium having automatic aggregation program
Ladkin et al. Interpreting message flow graphs
CN112597153B (zh) 一种基于区块链的数据存储方法、装置及存储介质
CN113570460B (zh) 在区块链中并发执行交易的方法和装置
CN113010489B (zh) 一种数据迁移方法及系统
CN110290166B (zh) 跨集群数据交互方法、系统、装置及可读存储介质
WO2024001024A1 (zh) 在区块链系统中执行交易的方法、区块链系统和节点
CN114444423B (zh) 基于验证平台的数据处理方法、系统及电子设备
CN113326026B (zh) 一种微服务业务流程接口的生成方法与终端
US12430571B2 (en) Data fusion method and apparatus, and device and storage medium
CN117313369A (zh) 基于时间自动机的复杂嵌入式系统的需求仿真方法及系统
CN113671924B (zh) Dcs实时值置值方法和系统、设备及存储介质
JPH0458743B2 (enExample)
CN115237444A (zh) 基于版本号的并发控制方法、装置、设备及存储介质
JPH0313779B2 (enExample)
CN117255031B (zh) 一种基于多重映射的网络通信认证方法
WO2024146415A1 (zh) 任务检索方法、装置及电子设备
CN116185930A (zh) 一种并发总线任务的处理方法、装置、系统及电子设备
US6381606B1 (en) Application programming interface for creating authorized connections to a database management system
CN115481129A (zh) 数据处理方法、装置、电子设备以及存储介质
CN114529263B (zh) 数据处理方法、装置、电子设备和存储介质
CN111611684B (zh) 干涉区逻辑块的生成方法、系统、装置和存储介质
CN116049497B (zh) 一种基于图数据库快速运行业务路径的方法
CN112532750B (zh) 一种大数据推送处理方法、系统及云平台